seL4 / seL4_projects_libsLinks
☆19Updated 3 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
Sorting:
- Basic tools for building seL4 projects☆48Updated 2 weeks ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 3 weeks ago
- ☆29Updated 3 years ago
- An experimental virtual machine monitor for the seL4 microkernel☆40Updated 2 weeks ago
- Microkit - A simple operating system framework for the seL4 microkernel☆125Updated 3 weeks ago
- Virtual machine monitor for L4Re☆31Updated last week
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆16Updated last month
- The core components of the L4Re operating system.☆88Updated last week
- Virtual Machine built as a CAmkES component.☆23Updated 3 months ago
- This git contains the official documentation for the OP-TEE project☆63Updated last week
- ☆38Updated 2 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆11Updated 11 months ago
- a Rust Hypervisor for mission-critical system☆102Updated this week
- Arm SystemReady : BSA Architecture Compliance Suite☆28Updated last week
- KVM RISC-V HowTOs☆47Updated 3 years ago
- The development version of the L4Re Microkernel☆132Updated this week
- sel4 benchmarking applications and support library.☆20Updated 3 weeks ago
- A utility for decoding aarch64 ESR register values.☆88Updated last week
- Documentation and status of UEFI on RISC-V☆59Updated 3 years ago
- K42 Kernel☆28Updated 13 years ago
- ☆17Updated 2 months ago
- The x86_64 UEFI bootloader for rCore☆45Updated 2 years ago
- ☆10Updated last week
- Advanced Operating Systems project☆20Updated 9 months ago
- Kernel tree for ACRN☆97Updated 4 months ago
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆49Updated this week
- aVisor: A Tiny Hypervisor for Raspberry Pi☆34Updated last year
- ☆24Updated 2 weeks ago
- An experimental RTOS written in Rust.☆37Updated 2 years ago