Nataliya Korovkina's repositories
benchparse
Python script to parse sel4bench output
gunyah-c-runtime
A small C runtime for bare-metal VMs on the Gunyah Hypervisor.
gunyah-hypervisor
Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.
gunyah-resource-manager
A Root VM supporting virtualization with the Gunyah Hypervisor.
linux
Kernel source tree for Raspberry Pi Foundation-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://www.raspberrypi.org/forum
meta-raspberrypi
Yocto BSP layer for the Raspberry Pi boards
seL4
The seL4 microkernel
seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.
seL4_tools
Basic tools for building seL4 projects
sel4bench
sel4 benchmarking applications and support library.
sel4bench-task-04.04.2022
"Signal to High Prio Thread" benchmark effort published on April 4, 2022
sel4cp
seL4 Core Platform - A simple operating system for the seL4 microkernel
zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.