> Hello,
> I tried to initialize the simple hello-word example and I get the following
> error. Maybe someone has an idea why the CmakeLists is not generated.
I believe what you are seeing is caused by this issue:
https://github.com/SEL4PROJ/sel4-tutorials/issues/40
The current work-around is to
Hello,
I tried to initialize the simple hello-word example and I get the following error. Maybe someone has an idea why the CmakeLists is not generated.
./init --tut hello-world --verbose
INFO:sh.command:: starting process
DEBUG:sh.command.process:.: started process
INFO:sh.command::