littlekernel / lkuserLinks
framework for a simple user space for lk
☆23Updated 3 years ago
Alternatives and similar repositories for lkuser
Users that are interested in lkuser are comparing it to the libraries listed below
Sorting:
- modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications☆5Updated 8 years ago
- RTOS based on L4 microkernel.☆16Updated 6 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- Multi-architecture hobby operating system created in C☆16Updated 3 weeks ago
- Documentation for 3D commands on Virgl3D☆26Updated 6 years ago
- tar file system as loadable kernel module☆16Updated 8 years ago
- Bootrom☆15Updated 9 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- A small python tool for downloading bootloader to ddr through serial port☆12Updated 9 years ago
- K42 Kernel☆27Updated 13 years ago
- Lemote PMON2000 boot loader.☆17Updated 11 years ago
- Mirror of git.qemu.org/openbios.git☆23Updated 8 months ago
- software skia for resource-constrained devices☆11Updated 9 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
- A minimal 64-bit operating system for x86-64☆9Updated last year
- BSD POSIX-compliant socket support for PicoTCP running on any OS.☆20Updated 6 years ago
- Basic tools for building seL4 projects☆48Updated this week
- Fork of newlib☆10Updated 3 years ago
- An embedded operating system kernel☆15Updated 7 years ago
- Mirror of git.qemu.org/openhackware.git☆12Updated 8 years ago
- LK embedded kernel☆24Updated 3 months ago
- RISC-V Debugger☆16Updated last month
- NOVA userland☆48Updated 11 years ago
- Object Oriented version of FatFs☆23Updated 5 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- Mirror of git.qemu.org/ipxe.git☆18Updated 2 months ago
- okl4 git for porting to realview_eb RTSM platform☆14Updated 12 years ago
- Open-source, Thread-safe, Embedded, FAT file-system.☆22Updated 11 years ago
- pico]OS realtime operating system☆66Updated 3 years ago
- This implementation of file system is developed by ELM Chan☆16Updated 3 months ago