Re: [seL4] Implementing a Filesystem on CAmkES

Hi Grant, Additionally, if you wanted a basic example to look at, the camkes-vm-examples project uses a file server to share access to a CPIO filesystem across vmm instances. The fileserver component uses the cpio "filesystem" via musllibc syscalls to export a simple open, close, read, seek

[seL4] Question about wrapper files

I built sel4test using the init-build.sh command with -DPLATFORM=x86_64 and -DSIMULATION=TRUE and then ran ninja. I'm using QEMU as my emulator. Within the build directory I created, there's a kernel directory. In that directory, there are a bunch of C files with names that include "wrapper."

[seL4] Question about wrapper files

I built sel4test using the init-build.sh command with -DPLATFORM=x86_64 and -DSIMULATION=TRUE and then ran ninja. I'm using QEMU as my emulator. Within the build directory I created, there's a kernel directory. In that directory, there are a bunch of C files with names that include "wrapper."

Re: [seL4] Image lies outside of usable physical memory v2

Hi Jeremy, This is currently not on our roadmap and hasn't been fixed. However, if you can put up a pull request with what you have done we'd be more than happy to take a look. Cheers, Anna. From: Devel on behalf of Jeremy Fields Sent: Wednesday, 18