Popular repositories Loading

1. seL4 seL4 Public

   Forked from seL4/seL4

   The seL4 microkernel

   C

2. zephyr zephyr Public

   Forked from zephyrproject-rtos/zephyr

   Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

   C

3. rtems rtems Public

   Forked from RTEMS/rtems

   Realtime SMP Kernel, networking, file-systems, drivers, BSPs, samples, and testsuite.

   C

4. uC-OS3 uC-OS3 Public

   Forked from weston-embedded/uC-OS3

   C

5. rt-thread rt-thread Public

   Forked from RT-Thread/rt-thread

   RT-Thread is an open source IoT operating system from China.

   C

6. linux linux Public

   Forked from torvalds/linux

   Linux kernel source tree

   C