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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
