Markku Ahvenjärvi's repositories
acrn-hypervisor
Project ACRN hypervisor
Language:CBSD-3-Clause000
ansible-role-sonarqube
Lean Delivery SonarQube server install
Language:GroovyApache-2.0000
bufexplorer
BufExplorer Plugin for Vim
Language:Vim ScriptBSD-3-Clause000
camkes-tool
The main CAmkES tool
Language:PythonNOASSERTION000
ci-actions
CI GitHub actions for the seL4 repositories
Language:Python000
docker-registry-statistics
Project aims to create tool for creating disk usage statistics of docker registry in version 2
GPL-3.0000
dwarffs
A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP
GPL-3.0000
libvmm
An experimental VMM for the seL4 microkernel
Language:C000
nixpkgs
Nix Packages collection
MIT000
GPL-2.0000
rust-seL4
Rust support for seL4 userspace
BSD-2-Clause000
sel4bench
sel4 benchmarking applications and support library.
NOASSERTION000