Hello,
when I do a fresh init of the camkes-vm repository:
*repo init -u https://github.com/seL4/camkes-vm-manifest
<https://github.com/seL4/camkes-vm-manifest>*
*repo sync*
and then I want to build the cma34cr_picotcp app:
*make clean*
*make make cma34cr_picotcp_defconfig*
*make silentoldconfig*
*make*
I get the following error:
*Makefile:76: *** No CAmkES application selected. Stop.*
Do you guys have any CI server set up? If not, I would be happy to help set
something up, this is not the first time an existing configuration doesn't
build.
Regards
Michal
Hi,
I would like to use network (TCP) on seL4, I know that I should probably be
using lwip, however I have no idea how to properly initialize it (this is
the first time I'm working in such a hardware close environment), so I need
some help or some kind of example, but I don't know where to look. I'm
working on ia32.
I also tried to run the rumprun hello world, the compillation finishes,
however I get the following output when I try to run it:
https://pastebin.com/MiMB0N62
Regards,
Gábor Székely
