Hello Genodians, I have been playing around with Genode on seL4 for the last few days and have a couple of questions.
[1] Did any modifications need to be made to the seL4 source code for Genode to work properly? [2] I encountered a couple of strange warnings when running the "Hello world" scenario from the Genode foundations book. Below is the clipped console log showing the exact messages. . . . Booting all finished, dropped to user space Warning: device memory in range [0000000400000000,0000000800000000) is unavailable (due to limited untyped cnode range) // To which device is this referring? Warning: device memory in range [0000000800000000,0000001000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000001000000000,0000002000000000) is unavailable (due to limited untyped cnode range) . . . boot module 'config' (469 bytes) boot module 'init' (456304 bytes) Warning: need physical memory, but Platform object not constructed yet // I'm assuming this is a non-issue, but wanted to check Warning: need physical memory, but Platform object not constructed yet . . . Genode 24.02 183 MiB RAM and 523285 caps assigned to init Warning: void Core::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x1 // What are the implications of this? Warning: void Core::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x2 Warning: void Core::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x4 [init -> hello] Hello world I am not yet familiar (still learning) the internals of seL4 and core, so apologies if these questions have obvious answers. Thanks in advance, Zachary Zollers _______________________________________________ users mailing list -- users@lists.genode.org To unsubscribe send an email to users-le...@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/ZN4YQKQ4OODRSXVTPPIAI6IZ42WJRD2J/
