On Mon, 5 Nov 2018 08:17:19 -0700
The solution I came up with is to keep the original sculpt partitioning.
I.e. the esp partition holds the grub.cfg with the configfile command
pointing to the grub.cfg on the Genode partition. The configfile
command can be used within a menuentry so that I moved th
You are absolutely correct about Genode being able to isolate critical code
from non-critical code – that's one of its main purposes.
Port files are only necessary to download external code.
I'm not sure about your second question. In particular, noux was intended
exclusively for ported software.
Hello lzSun,
On Tue, Nov 13, 2018 at 03:02:32PM +0800, lzSun wrote:
> I want to use a file system in tz_vmm demo. I get to know that there's
> sd_card driver for i.mx53 quick start board and a stable file system in
> genode which is rump_fs. So my idea is to use rump_fs and use sd_card for
> st
This is my first message to this mailinglist, so Hello, world! ;-)
I'm new to Genode and trying to learn the basics. Our goal is to
develop a setup that demonstrates the application of Genode to create
a powerful separation between critical and non-critical code. Genode
looks really promising for
Hello,Stefan
Thanks for your effort! I have followed your advice to check to genode 18.08. I
used the patch you provided to me:
https://github.com/skalk/genode/tree/imx53-hf-neon
At first, I just build the whole project as before. But there's an error at
building stage:
can't read "cc_arch": no
