littlekernel / lkuserLinks
framework for a simple user space for lk
☆24Updated 3 years ago
Alternatives and similar repositories for lkuser
Users that are interested in lkuser are comparing it to the libraries listed below
Sorting:
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆19Updated last year
- UEFI, on Loongson.☆14Updated 9 years ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications☆5Updated 8 years ago
- Codezero Microkernel☆109Updated 3 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆35Updated this week
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- Hacked up version of the Tiny C Compiler with basic ARM Thumb output☆28Updated 9 months ago
- UEFI boot loader☆80Updated 2 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- A tool to execute an elf binary in the UEFI shell environment.☆10Updated 9 years ago
- Open-source, Thread-safe, Embedded, FAT file-system.☆22Updated 11 years ago
- ELF to bFLT (binary flat) converter for no-mmu Linux targets☆77Updated 11 months ago
- Mirror of git.qemu.org/seabios.git☆68Updated last month
- KBoot boot loader☆28Updated 6 months ago
- Mirror of git.qemu.org/openbios.git☆23Updated 11 months ago
- Basic tools for building seL4 projects☆48Updated last week
- A SM^2 (Smart and Small) RTOS for AIoT Devices.☆31Updated 2 months ago
- A work in progress!☆44Updated 12 years ago
- 64-bit U-Boot for the Raspberry Pi 3☆27Updated 9 years ago
- ☆19Updated 10 years ago
- Mali-400 kernel drivers for external compilation for use with linux-sunxi kernel.☆23Updated 12 years ago
- A minimal 64-bit operating system for x86-64☆9Updated last year
- Multi-architecture hobby operating system created in C☆16Updated 3 months ago
- A simple Hello World for x86_64 UEFI using fasmg☆26Updated 8 years ago
- minimal libc☆19Updated 13 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- An embedded operating system kernel☆15Updated 8 years ago
- pico]OS realtime operating system☆66Updated 4 years ago
- uClinux plus my own patches, based on uClinux-dist-20110810.☆69Updated 5 years ago