On 1/18/19 1:26 PM, Jan Kiszka wrote:
> On 18.01.19 08:40, Stefan KLEMKE wrote:
>> Hello Folks,
>>
>> I am trying to run Jailhouse on a NUC7i5DNK2E and managed to get a
>> root cell and
>> the tiny-demo inmate "running". Since I dont have serial output ports,
>> I want to
>> use the virtual jailhouse console to capture debugging informations
>> from the
>> non-root cell. My understanding is, that my configs need the following
>> flags set:
>>
>> RootCell: .flag = JAILHOUSE_SYS_VIRTUAL_DEBUG_CONSOLE
>> Non-root cells: .flag JAILHOUSE_CELL_VIRTUAL_CONSOLE_ACTIVE (Docu
>> says, it
>> implies JAILHOUSE_CELL_VIRTUAL_CONSOLE_PERMITTED)
Look at your config, tiny-demo.c has
JAILHOUSE_CELL_VIRTUAL_CONSOLE_PERMITTED set, while it should be
JAILHOUSE_CELL_VIRTUAL_CONSOLE_ACTIVE. _ACTIVE will cause the inmate to
automatically use the virtual console.
>
> Docu is really misleading here. It should state "requires", because that
> is what
> is in the code.
Is it? I think documentation aligns with code:
driver/cell.c:
/* CONSOLE_ACTIVE implies CONSOLE_PERMITTED for non-root cells */
if (CELL_FLAGS_VIRTUAL_CONSOLE_ACTIVE(config->flags))
config->flags |= JAILHOUSE_CELL_VIRTUAL_CONSOLE_PERMITTED;
If CONSOLE_ACTIVE is set, CONSOLE_PERMITTED will automatically be set by
the kernel driver as well. Hence, CONSOLE_ACTIVE implies CONSOLE_PERMITTED.
(Yes, from the hypervisor POV, PERMITTED is required for ACTIVE, but the
driver enables it for us)
Ralf
>
>>
>> .. but I cannot see the printk string from the tiny demo on my cat
>> /dev/jailhouse console output.
>>
>> I tried the PERMITTED flag for the non-root cell as well, since it is the
>> default in the example files, but still no output to be seen.
>
> Did you de-configure the physical uart console in the inmate config
> (.console.type = JAILHOUSE_CON_TYPE_NONE)? Otherwise, the code may try
> to access
> that resource and stall as it does not react.
>
> 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.
