search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
70 stars 37 forks source link

Beginner use case #12

Closed perpen closed 1 year ago

perpen commented 1 year ago

Context: I am a simple hobbyist who discovered seL4 a few days ago: I watched a number of videos on the seL4 youtube channel and read a few pages on https://docs.sel4.systems/. I am now trying out sel4cp, and I just managed to build the hello example, resulting in some .img and .elf files. However I don't have a clue how to use them.

  1. Could someone provide some pointers?
  2. The code only mentions 2 supported boards (which I don't possess). Is it possible to boot in qemu?
perpen commented 1 year ago

One day later: It took a lot of reading, but I managed to run the hello example using the xilinx qemu. In case someone else wants to do similar things from a container: https://github.com/perpen/sel4cp-container