littlekernel / lk
LK embedded kernel
☆3,193Updated this week
Related projects ⓘ
Alternatives and complementary repositories for lk
- The seL4 microkernel☆4,744Updated this week
- "Das U-Boot" Source Tree☆4,003Updated this week
- A Small C Compiler☆6,149Updated 6 months ago
- Linux-based partitioning hypervisor☆1,749Updated 5 months ago
- Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.☆2,925Updated 2 months ago
- Minoca operating system☆2,725Updated 2 years ago
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,034Updated 7 months ago
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,216Updated last month
- Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…☆10,370Updated this week
- The Elixir Cross Referencer☆988Updated this week
- A versatile (cross-)toolchain generator.☆2,130Updated 2 weeks ago
- Read-only mirror of Trusted Firmware-A☆1,938Updated this week
- All CPU and MCU documentation in one place☆1,897Updated 2 years ago
- Project moved to: https://github.com/llvm/llvm-project☆4,609Updated 4 years ago
- PicoTCP is a free TCP/IP stack implementation☆1,187Updated last year
- A portable microkernel-based multiserver operating system written from scratch.☆1,369Updated this week
- The lcc retargetable ANSI C compiler☆2,020Updated last month
- Unofficial mirror of mob development branch☆2,034Updated last week
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,410Updated this week
- Higher level programming in C☆6,828Updated last year
- BusyBox mirror☆1,641Updated last month
- A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …☆6,118Updated 7 months ago
- Mirror of https://review.coreboot.org/coreboot.git. We don't handle Pull Requests.☆2,207Updated this week
- Protocol Buffers with small code size☆4,344Updated last week
- Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is a…☆2,730Updated this week
- Jsmn is a world fastest JSON parser/tokenizer. This is the official repo replacing the old one at Bitbucket☆3,681Updated 5 months ago
- EDK II☆4,648Updated this week
- Linux Device Drivers 3 examples updated to work in recent kernels☆2,377Updated last month