Decentralized reproducible packages distribution system

Hi everyone, I'm very new to Genode (discovered last week with seL4), so please forgive my lack of experience. I just wanted to bring you some information that might interest you, may be not today but soon (I hope). I stumble accross CHAINIAC (Usenix

Re: Sabre Lite imx6

Hi Joel, Am 28.12.2017 um 23:39 schrieb Baconicsynergy via genode-main: > Hello friends :) I am now the proud owner of the sabre lite imx6 SoC for > the purpose of experimenting and running seL4, and am really eager to > start building Genode scenarios. Unfortunately, the create_builddir tool >

Disk images for ARM based Genode Scenarios

Thank you very much for the quick response, Stefan :) I built a simple log Genode scenario for wand_quad for testing purposes, and I am previously used to receiving iso images for x86_32/x86_64. However, there is no iso image! I am left with a log.core file in the var/run directory and I don't

Re: Roadmap 2018

The network equipment use case is especially interesting here. Genode has tremendous potential for a wide range of embedded systems, enabling strong security features combined with memory efficiency--a combination that is difficult to obtain other ways. While x86 support is good, the embedded