littlekernel / lkLinks
LK embedded kernel
☆3,436Updated last week
Alternatives and similar repositories for lk
Users that are interested in lk are comparing it to the libraries listed below
Sorting:
- The seL4 microkernel☆5,086Updated 3 weeks ago
- Read-only mirror of Trusted Firmware-A☆2,109Updated this week
- Application Binary Interface for the Arm® Architecture☆1,128Updated 3 weeks ago
- Main development repository for TinyOS (an OS for embedded, wireless devices).☆1,468Updated 2 years ago
- Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems☆703Updated last week
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆698Updated 5 years ago
- Linux-based partitioning hypervisor☆1,874Updated last year
- Devicetree Specification document source files☆992Updated 4 months ago
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,299Updated last year
- Project ACRN hypervisor☆1,232Updated this week
- Trusted side of the TEE☆1,765Updated last week
- The historical uIP sources☆1,033Updated 8 years ago
- Minoca operating system☆2,755Updated 3 years ago
- "Das U-Boot" Source Tree☆4,689Updated this week
- Build a minimal multi-tasking OS kernel for ARM from scratch☆1,171Updated 3 years ago
- Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.☆3,273Updated this week
- The Elixir Cross Referencer☆1,105Updated 2 months ago
- Modular and configurable OS for embedded applications☆1,422Updated last week
- PicoTCP is a free TCP/IP stack implementation☆1,272Updated last year
- toybox☆2,714Updated 2 weeks ago
- A portable microkernel-based multiserver operating system written from scratch.☆1,508Updated 2 weeks ago
- ext2/ext3/ext4 filesystem library for microcontrollers☆546Updated last year
- picolibc - a C library designed for embedded 32- and 64- bit systems.☆1,408Updated last week
- A very minimal, resource efficient exo-kernel☆783Updated this week
- Xvisor: eXtensible Versatile hypervISOR☆589Updated last month
- Arm Mbed OS is a platform operating system designed for the internet of things☆4,788Updated 11 months ago
- Linux Driver Template☆532Updated 2 months ago
- An OS to build, deploy and securely manage billions of devices☆874Updated this week
- Genode OS Framework☆1,160Updated last week
- Higher level programming in C☆7,029Updated 10 months ago