Hi,
I have done some testing to get seL4 and Genode boot on an ARM device
(AM335x based). I have a branch on github that got into the Genode
userland code, but it sadly isn't that up to date (from december 2016).
I just broke x86 support for testing purposes (as it is more or less
hard coded in
Hey Yevgeny.
Am 03.04.2017 um 04:49 schrieb Yevgeny Lavrov:
> Hi,
>
> Thanks for the hints. I managed to solve the sd_card_bench issue.
> I've tried to print out completion state as Martin suggested by making
> the following changes to:
> /repos/os/src/drivers/sd_card/spec/imx/driver.cc
>
>
Hi,
On 03.04.2017 04:49, Yevgeny Lavrov wrote:
> This did the trick and sd_card_bench successfully executed :)
Good !
> On seL4 side I got this far:
> The error occurs once the build process hits one of the files within this
> directory: base-sel4/src/core and these files appear to be Genode
Hello,
On 02.04.2017 18:21, Humblenoob wrote:
> My ideal system that I would like to create in the meantime would be
> noux_bash with gcc, g++, and make. How would I suppliment the existing
> noux_bash.run script to include these packages?
have a look into the following scripts:
Hello! I'm relatively new to genode and my knowledge is poor, but I'm very
fascinated by genode and microkernels in general. I hope to learn very much in
the next several years.
I've been able to build several working iso's from run scripts on both NOVA and
seL4 with varying levels of success,
