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
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- BSD POSIX-compliant socket support for PicoTCP running on any OS.☆19Updated 6 years ago
- Open-source, Thread-safe, Embedded, FAT file-system.☆22Updated 11 years ago
- Simple event handling library.☆11Updated 10 years ago
- Lemote PMON2000 boot loader.☆15Updated 11 years ago
- Another C Library optimized for Embedded Linux☆60Updated 10 years ago
- Portable C Compiler (CVS mirror)☆11Updated 12 years ago
- software skia for resource-constrained devices☆11Updated 8 years ago
- Ultibo WIFI driver for Bare Metal Raspberry Pi☆13Updated last year
- Mirror of git.qemu.org/openbios.git☆21Updated 5 months ago
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Advanced Operating Systems project☆20Updated 5 months ago
- newlib OpenRISC development☆25Updated 2 years ago
- ☆20Updated this week
- An embedded operating system kernel☆15Updated 7 years ago
- Hacked up version of the Tiny C Compiler with basic ARM Thumb output☆27Updated 4 months ago
- ☆31Updated 7 months ago
- Xinu arm port, for Raspberry Pi☆29Updated 11 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
- RTOS based on L4 microkernel.☆16Updated 6 years ago
- A minimal 64-bit operating system for x86-64☆9Updated 11 months ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆19Updated 8 years ago
- EDK II LKL Filesystem Driver☆13Updated 7 years ago
- RISC-V Debugger☆16Updated last year
- Multi-architecture hobby operating system created in C☆16Updated 2 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- ARM-based Hypervisor for Real-Time Embedded Systems☆18Updated 5 years ago
- Mirror of git.qemu.org/vgabios.git☆25Updated 7 years ago