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:
- LEON2 SPARC CPU IP core LGPL by Gaisler Research☆20Updated 12 years ago
- Virtual Machine built as a CAmkES component.☆24Updated 4 months ago
- Sled System Emulator☆28Updated 2 months ago
- Software, tools, documentation for Vegaboard platform☆64Updated 6 years ago
- Basic tools for building seL4 projects☆52Updated last month
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 4 years 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
- UEFI, on Loongson.☆14Updated 9 years ago
- A mirror of the upstream binutils-gdb repository for ARC specific work☆16Updated last month
- 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
- K42 Kernel☆31Updated 13 years ago
- Moxie-compatible core repository☆47Updated 5 months ago
- Port of Amber ARM Core project to Marsohod2 platform☆13Updated 6 years ago
- Sail code model of the CHERIoT ISA☆48Updated 3 weeks ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 9 months ago
- GDB stub that allows debugging of embedded devices☆34Updated 10 years ago
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/depthcharge/. We don't handle pull requests.☆26Updated this week
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- FastRPC is Qualcomm's userspace library that facilitates efficient remote procedure calls between the CPU and DSP for high-performance co…☆66Updated last week
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆34Updated last week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 4 years ago
- ☆15Updated 10 months ago
- Virtual machine monitor for L4Re☆33Updated 3 weeks ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆12Updated 14 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 3 years ago
- ☆12Updated last year
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years 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 7 months ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Updated 3 years ago