seL4 / seL4_projects_libs
☆19Updated 2 weeks ago
Alternatives and similar repositories for seL4_projects_libs:
Users that are interested in seL4_projects_libs are comparing it to the libraries listed below
- Basic tools for building seL4 projects☆46Updated last week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated last week
- The core components of the L4Re operating system.☆82Updated last week
- The development version of the L4Re Microkernel☆114Updated last week
- Virtual machine monitor for L4Re☆28Updated last week
- sel4 benchmarking applications and support library.☆19Updated 2 weeks ago
- Microkit - A simple operating system framework for the seL4 microkernel☆104Updated this week
- Virtual Machine built as a CAmkES component.☆23Updated 8 months ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆38Updated 4 years ago
- Test suite for seL4.☆25Updated last week
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆10Updated 7 months ago
- ☆15Updated 2 weeks ago
- ☆22Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- An experimental virtual machine monitor for the seL4 microkernel☆35Updated this week
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆23Updated last month
- aVisor: A Tiny Hypervisor for Raspberry Pi☆31Updated last year
- This is the source of the seL4 docs.☆16Updated this week
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated last week
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- Kernel tree for ACRN☆95Updated 3 weeks ago
- OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…☆256Updated this week
- Helpers and utilities used by multiple rust-vmm components and VMMs☆80Updated last week
- ☆31Updated 3 years ago
- Example code for tracing IRQs in Linux kernel☆12Updated 8 years ago
- Advanced Operating Systems project☆20Updated 6 months ago
- UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.☆46Updated last month
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆30Updated this week