ivan-velickovic Goto Github PK

camkes-vm

Virtual Machine built as a CAmkES component.

camkes-vm-examples

camkes-vm-examples-manifest

camkes-vm-images

Precompiled kernels etc. for use with camkes VMs.

camkes-vm-linux

capdl

Capability Distribution Language tools for seL4

ci-actions

CI GitHub actions for the seL4 repositories

crafting_interpreters

My implementation of the language (Lox) from the book Crafting Interpreters

docs

This is the source of the seL4 docs.

dtb.zig

parse device tree blobs

flash_uboot_odroidc4

go

The Go programming language

hugo-book

Hugo documentation theme as simple as plain book

l4v

seL4 specification and proofs

libmantle

Safe Austral APIs for your seL4 Core Platform projects.

microkit

Microkit - A simple operating system framework for the seL4 microkernel

microkit_sdf_gen

Experimenting with higher-level tooling for the seL4 Microkit

microkit_zig_build

An example of using the Zig build system to build a seL4 Microkit system

micropython

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

nix_shell_test

picolibc

picolibc - a C library designed for embedded 32- and 64- bit systems.

raylib-zig

Manually tweaked, auto generated raylib bindings for zig. https://github.com/raysan5/raylib

renode

Renode - Antmicro's virtual development framework for complex embedded systems

riscv-barebones

Barebones RISC-V kernel template for Zig

rust-sel4

Rust support for seL4 userspace

sddf

seL4 Device Driver Framework

sel4

The seL4 microkernel

sel4-camkes-l4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

sel4-riscv-vmm-manifest

Manifest for building an experimental RISCV VMM

sel4bench-manifest

Manifest of the seL4bench project, which contains microbenchmarks for seL4.