descriptionMuen SK channel file system Linux kernel module
ownerReto Buerki
last changeThu, 31 Jan 2019 10:30:48 +0000 (11:30 +0100)



The muenfs Linux kernel module implements a virtual file system that facilitates user-space access to shared memory channels provided by the Muen Separation Kernel.

For each detected channel, a file of matching size and permission is shown in the file system. A user-space application can use stat(2) calls to get the permissions (rw or r/o) of the files and the size of the region. For accessing file contents read(2), write(2), and mmap(2) operations are supported.


$ modprobe muenfs
$ mkdir -p /muenfs
$ mount -t muenfs none /muenfs

Example Code

See the test/muenfs-test.c program for example code on how to map a channel file and access its contents.


The current authentication model is that the files are created with uid and gid set to 0. Depending on the type of the region the files have permissions 0400 or 0600. No further capability checking is done by this module.

2019-01-31 Reto BuerkiFix module install permissions master
2019-01-28 Reto BuerkiAdd .gitignore file
2018-03-26 Reto BuerkiUpdate to new sinfo resource variants API
2018-03-26 Reto BuerkiAdd missing includes to muenfs-test.c
2017-11-16 Adrian-Ken... Replace CURRENT_TIME with current_time()
2017-03-06 Adrian-Ken... Adjust to upstream full_name_hash change (8387ff2...)
2016-10-26 Adrian-Ken... Adjust to latest sinfo API changes
2015-04-15 Reto BuerkiInitial import of the muenfs Linux kernel module
9 months ago master