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_...
Please feel welcome to ask further questions when those arise.
Regards