kungliet / okl4Links
okl4 git for porting to realview_eb RTSM platform
☆15Updated 13 years ago
Alternatives and similar repositories for okl4
Users that are interested in okl4 are comparing it to the libraries listed below
Sorting:
- Basic tools for building seL4 projects☆52Updated this week
- LEON2 SPARC CPU IP core LGPL by Gaisler Research☆20Updated 12 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 4 years ago
- sel4 benchmarking applications and support library.☆19Updated 4 months ago
- UEFI, on Loongson.☆14Updated 9 years ago
- Virtual Machine built as a CAmkES component.☆24Updated 4 months ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 8 months ago
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆20Updated 2 years ago
- Component Architecture test suite and example apps.☆32Updated 4 months ago
- A simple UEFI bootloader written in C++17 that does not need any third-party support code like Tianocore EDK or gnu-efi; only needs a han…☆21Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 3 years ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆13Updated 2 months ago
- NOVA runtime environment (official branch)☆35Updated 4 years ago
- Sled System Emulator☆28Updated last month
- Software, tools, documentation for Vegaboard platform☆64Updated 6 years ago
- LLVM Compiler Infrastructure with TriCore backend☆32Updated 2 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Updated 3 years ago
- Advanced Operating Systems project☆21Updated 2 months ago
- Virtual machine monitor for L4Re☆33Updated last week
- Documentation and status of UEFI on RISC-V☆64Updated 4 years ago
- RISC-V Static Binary Translator☆18Updated 6 years ago
- ☆24Updated 4 years ago
- System initialization firmware for Power systems☆78Updated last week
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆23Updated 2 months ago
- GDB stub that allows debugging of embedded devices☆34Updated 10 years ago
- QEMU port for ARCv2 Processors☆14Updated 2 months ago
- The A2O core was a follow-on to A2I, written in Verilog, and supported a lower thread count than A2I, but higher performance per thread, …☆51Updated 6 months ago
- NOVA userland☆48Updated 11 years ago
- ☆67Updated 3 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆34Updated 2 weeks ago