Hi,

I was following: 
https://github.com/siemens/jailhouse/blob/master/Documentation/non-root-linux.txt
to set a non-root linux on my NUC7i3DNB (x86_64)

and after cloning from:
 git://git.kiszka.org/linux.git queues/jailhouse

I tried searching for the kernel parameters mentioned using "make menuconfig" 
and use the search option but:
  - I can only disable CONFIG_PM_TRACE_RTC
  - Cannot disable CONFIG_SERIO, seemed to be enabled and cannot be modified.
  - Cannot find CONFIG_JAILHOUSE_GUEST

Any suggestions?

-- 
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to