littlekernel / lkuser
framework for a simple user space for lk
☆23Updated 2 years ago
Alternatives and similar repositories for lkuser:
Users that are interested in lkuser are comparing it to the libraries listed below
- Mirror of git.qemu.org/ipxe.git☆17Updated this week
- UEFI, on Loongson.☆14Updated 8 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆21Updated this week
- Open-source, Thread-safe, Embedded, FAT file-system.☆22Updated 11 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- Multi-architecture hobby operating system created in C☆16Updated last week
- Open Source Appliance Development Kit (mirror)☆33Updated 6 months ago
- RISC-V strace port☆13Updated 8 years ago
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- Mirror of git.qemu.org/openbios.git☆22Updated 6 months ago
- Ultibo WIFI driver for Bare Metal Raspberry Pi☆13Updated 2 years ago
- Mirror of git.qemu.org/seabios.git☆61Updated last month
- modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications☆5Updated 8 years ago
- Calcium OS project for x86_64☆39Updated 7 years ago
- An embedded operating system kernel☆15Updated 7 years ago
- MDX — A BSD-style RTOS☆26Updated last month
- Bootrom☆15Updated 9 years ago
- YARI is a high performance open source FPGA soft-core RISC implementation, binary compatible with MIPS I. The distribution package includ…☆44Updated 3 months ago
- RTOS based on L4 microkernel.☆16Updated 6 years ago
- Hacked up version of the Tiny C Compiler with basic ARM Thumb output☆27Updated 4 months ago
- work in progress ports of linuxboot for various mainboards☆21Updated 2 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
- Embedded OS for IoT☆17Updated 3 years ago
- RISC-V Debugger☆16Updated 2 years ago
- A minimal 64-bit operating system for x86-64☆9Updated last year
- L4Ka::IDL4 Compiler☆18Updated 9 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆19Updated 8 years ago
- newlib OpenRISC development☆25Updated this week
- OpenVG API and Extension Registry.☆13Updated 3 years ago