Hello everyone,
I am a newbie with seL4, and trying to get the first hello-world
tutorial to build and run. I am a bit stuck on a few issues.
1. I had to add the Python "sh" module before the "init" script would run.
2. It is not clear if the "init" script should be run on my main Linux
VM, or within the Docker container.
3. The instructions here
https://docs.sel4.systems/Tutorials/hello-world.html
and
https://docs.sel4.systems/Tutorials/
appear to be contradictory, and neither actually works.
It appears that the correct sequence of commands is:
3.1. Start the docker container in the directory above
sel4-tutorials-manifest
3.2. In the container:
cd sel4-tutorials-manifest
mkdir hello-world
cd hello-world
../init --plat pc99 --tut hello-world
cd ../hello-world_build
ninja
./simulate
Does that look right?
The build finishes with
"[181/181] objcopy kernel into bootable elf"
although https://docs.sel4.systems/Tutorials/hello-world.html says it
should be
"[150/150] objcopy kernel into bootable elf"
Is that still OK?
Should I raise an Issue in GitHub to get the documentation pages updated?
All the best,
Rod Chapman, Director, Protean Code Limited
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
