Markku Ahvenjärvi's Projects
Project ACRN hypervisor
Lean Delivery SonarQube server install
BufExplorer Plugin for Vim
The main CAmkES tool
CI GitHub actions for the seL4 repositories
Project aims to create tool for creating disk usage statistics of docker registry in version 2
A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP
An experimental VMM for the seL4 microkernel
Nix Packages collection
Rust support for seL4 userspace
sel4 benchmarking applications and support library.