Re: Questions about Genode on seL4

Hello Zachary, [1] Did any modifications need to be made to the seL4 source code for Genode to work properly? You can review our (few) modifications here: https://github.com/genodelabs/genode/tree/master/repos/base-sel4/patches Warning: device memory in range [0004,00080

Another complex Rust package

Hello Genodians Benjamin Lamowskis great article "A first complex Rust package" [1] and the attention Rust on Genode received recently on this mailing list motivated me to explore the latest achievements regarding Goa and Rust myself :) I went straight down experimenting with Rocket, a web fra

enabling iMX.8M Plus based board

Dear Genodians, I started to work on enabling CompuLab's iot-gate-imx8mplus [1]. As the name suggests, this device is based on the i.MX8MP SoC. So far, I have the following things currently working: - u-boot - Linux (6.1) - run/log on top of base-hw This line of work is available on GitHub [2