By the way, Genode's seL4 support is still incomplete, particularly with
regard to resource management. Also, Genode on seL4 doesn't have enough
capabilities (CAP) to run some of the more complex scenarios, e.g. Sculpt.
On Fri, Jul 12, 2019, 7:09 AM Alexander Tormasov via users <
Hello Alexander,
welcome to the mailing list. First I'd like to ask if you would mind
to subscribe so you get future replies automatically via the list?
The issue you experience in both cases is AFAICS shortage of resoures
in components. These are the relevant log messages.
On Fri, Jul 12, 2019
Hello,
On 12.07.19 00:28, Alexander Tormasov via users wrote:
> This is my first attempt to run Genode over seL4 inside VM.
welcome.
> I take latest 19.05 version of Genode as recommended.
>
> I followed the instruction and now compile (in vmware vm with ubuntu, 64 bit)
> and able to run demo
This is my first attempt to run Genode over seL4 inside VM.
I take latest 19.05 version of Genode as recommended.
I followed the instruction and now compile (in vmware vm with ubuntu, 64 bit)
and able to run demo both inside vmware and qemu in my MacOS notebook.
While I can say that work of
