testing genode on sel4

[Christian Helmuth]

Hello Tao,

welcome to the list. Don't hesitate to subscribe via

  https://lists.genode.org/listinfo/users

as postings are members-only and mails by non-members are on hold
until an admin approves them, which may take some time.

Regarding your question...

On Wed, Feb 09, 2022 at 04:29:09 CET, Tao Heng 陶恒-SW wrote:
> When starting to build your sel4 demo under the instructions
> of release note for 15.05 version:

Genode 15.05 is an ancient version indeed and many things changed
since then. I suggest you follow the instructions in the Genode
Foundations book Section "A simple system scenario" (online at the
following URL) and replace "nova" by "sel4" in the microkernel
section.

  https://genode.org/documentation/genode-foundations/21.05/getting_started/A_simple_system_scenario.html

Please feel welcome to ask further questions when those arise.

Regards
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · https://genodians.org/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth