sel4-tutorials
sel4-tutorials copied to clipboard
seL4
Tutorials for working with seL4 and/or CAmkES.
There was a change to the interface in sh version 2 where [the output is a true string][1], instead of a special object with `return_value` field etc. There is an...
The mapping tutorial (https://docs.sel4.systems/Tutorials/mapping.html) refers to levels of paging objects that no longer exist due to RFC-10 (https://sel4.atlassian.net/jira/software/c/projects/RFC/issues/RFC-10) and hence should be updated.
For some reason the 'sh' python module decides to return a string in response to a Command() invokation instead of a RunningCommand instance that the code from this module expects....
Hi, Why is the ipc_buffer_vaddr put in seL4_ARCH_PageTable_Map()? ipc_buffer_vaddr is the virtual address of the new physical frame allocated for the IPC buffer. I think seL4_ARCH_PageTable_Map's 3rd parameter is the...
I have been trying to make (ninja) the solution of camkes-linux-vm works for a week now and I can't seem to do so. I have limited experience on everything related...
Every once in a while we're getting a failure in the CI simulation run. Since it's simulation, we can exclude hardware glitches and since it is working most of the...
Hi, I am trying to follow below guide to test the cross-vm connector and understand how communication works between guest and component. However, the build always fail due to this...
I am trying to boot the camkes-vm-linux but am not able to input anything after Buildroot login In the general display im getting Loading Rootserver OK, Loading sel4kernel OK and...
"poke" module should be build with correct Linux configuration to match the pre-built kernel version. (Tutorial issue #80) Signed-off-by: Nataliya Korovkina
