descriptionMuen SK events file system Linux kernel module
ownerAdrian-Ken Rueegsegger
last changeFri, 1 May 2020 08:56:05 +0000 (10:56 +0200)
readme

Muenevents

Introduction

The muenevents Linux kernel module implements a virtual file system that facilitates user-space access to source events (subject-specific hypercalls) provided by the Muen Separation Kernel.

For each source event a file with the corresponding logical name is shown in the file system. A program can write(2) to the files to trigger an event. Using read(2) to access the file returns the source event number.

Usage

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

Authentication

The current authentication model is that the files are created with uid and gid set to 0 and permissions 0600. No further capability checking is done by this module.

shortlog
2020-05-01 Adrian-Ken... Initial import of the muenevents Linux kernel module master
heads
11 months ago master