kungliet / okl4Links
okl4 git for porting to realview_eb RTSM platform
☆14Updated 12 years ago
Alternatives and similar repositories for okl4
Users that are interested in okl4 are comparing it to the libraries listed below
Sorting:
- UEFI, on Loongson.☆14Updated 8 years ago
- Allwinner SoCs' 64-bit EL2 barebone☆17Updated 2 years ago
- ☆24Updated 3 years ago
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆11Updated 10 months ago
- An embedded operating system kernel☆15Updated 7 years ago
- GDB stub that allows debugging of embedded devices☆33Updated 9 years ago
- MDX — A BSD-style RTOS☆27Updated 2 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- ☆29Updated 9 years ago
- QNX Neutrino on BeagleBoneBlack☆33Updated 9 years ago
- ☆33Updated 11 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- Intel Management Engine JTAG Proof of Concept☆19Updated 5 years ago
- ARM-based Hypervisor for Real-Time Embedded Systems☆18Updated 6 years ago
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆19Updated last year
- Out-of-tree version of Linux' kconfig tool☆17Updated 11 months ago
- Open Source Appliance Development Kit (mirror)☆35Updated 2 months ago
- Advanced Operating Systems project☆20Updated 8 months ago
- Sled System Emulator☆28Updated last month
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆12Updated last year
- Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…☆35Updated 8 years ago
- Basic tools for building seL4 projects☆48Updated last week
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- LK embedded kernel☆24Updated 4 months ago
- qnx660☆13Updated 11 years ago
- A mirror of the upstream binutils-gdb repository for ARC specific work☆14Updated this week
- parse and regenerate the SHA-256 of bootloaders for Amlogic S905 SoC☆35Updated 8 years ago
- ☆67Updated 3 years ago
- UEFI boot loader☆79Updated 2 years ago
- ☆22Updated 12 years ago