> If you do "make menuconfig" and request help for that option, it should tell 
> you
> who selects it.

I see in the help section that there are about 15 devices that use it and 
correct me if I'm wrong but to disable CONFIG_SERIO , I should manually disable 
all these devices.


> Did you checkout the right branch (queues/jailhouse)?

My mistake, I misundesrtood it. I'm able to find it after checking out to that 
branch


> Note that you also find a reference config (and actually full images) at
> https://github.com/siemens/jailhouse-images

Yes, this solves the problem, found it in: 
jailhouse-images/recipes-kernel/linux/files/x86-64_defconfig_4.14 
 
> Jan

-- 
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