jcktsai

jcktsai's Stars

• jserv/codezero

  Codezero Microkernel

  Language:C10727

• seL4/seL4

  The seL4 microkernel

  Language:C4.8k688

• l4ka/hazelnut

  L4Ka::Hazelnut micro-kernel

  Language:Assembly338

• l4ka/pistachio

  L4Ka::Pistachio micro-kernel

  Language:C++27554

• tsowell/linux-samus

  Linux kernel packages with Chromebook Pixel 2015 (Samus) support borrowed from Chromium OS

  Language:Shell617

• google/mr4c

  Language:Java907219

• RIOT-OS/RIOT

  RIOT - The friendly OS for IoT

  Language:C5.5k2k

• RT-Thread/rt-thread

  RT-Thread is an open source IoT Real-Time Operating System (RTOS).

  Language:C10.9k5.1k

• f9micro/f9-kernel

  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

  Language:C687147

• jesstess/ldd4

  Language:C268111

• jesstess/ldd3-examples

  Linux Device Drivers 3 examples library, updated for newer kernel versions

  Language:C10155

• diafygi/gnu-pricing

  Turn GNU command line tools into SaaS (Stupid Hackathon Project)

  Language:CSS51010

• embedded2015/mini-arm-os

  Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch

  Language:C185164

• jez/vim-as-an-ide

  Workshop on how to use Vim Plugins.

  Language:VimL2k169

• openrisc/or1ksim

  The OpenRISC 1000 architectural simulator

  Language:C7443

• beckus/qemu_stm32

  QEMU with an STM32 microcontroller implementation

  Language:C531146

• nvmeqemu/nvmeqemu

  NVM Express Device Emulation in QEMU

  Language:C6338

• dwelch67/raspberrypi

  Raspberry Pi ARM based bare metal examples

  Language:Assembly2.7k487

• tzuCarlos/RaspberryPi

  RaspberryPi

  Language:C2210