I've studied as many network run scripts as I could in order to make a custom
noux_bash.run with wifi and lynx. I'm also adding tools to compile and debug C
code.
But, I think it's in really bad shape :/ If anyone out there can help proofread
my run script and provide assistance and
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 only
specifies imx53. What can i do to start working with genode on the sabre
I would love to make a donation to the Genode project! How should I go about
doing this? I encourage everyone reading this to donate as well!--
Check out the vibrant tech community on one of the world's most
engaging tech
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
Greetings :)
I have recently purchased a libreboot x200 thinkpad, and attempted to boot
Genode's Sculpt scenario from USB. Unfortunately, nothing happened at all.
Will there be any support for libreboot/coreboot devices in the future?
Cheers,
Joel
