Alternatives and similar repositories for tkernel_2:

Users that are interested in tkernel_2 are comparing it to the libraries listed below

• tron-forum / mtk3_bsp
  μT-Kernel 3.0 BSP (Board Support Package) Collection
  ☆35Updated last year
• tron-forum / mtkernel_3
  micro T-Kernel 3.0
  ☆229Updated 3 months ago
• ytoyoyama / trykernel
  Try Kernel
  ☆22Updated 3 months ago
• KyotoMicrocomputer / solid-rapi4
  SOLID for Raspberry Pi 4
  ☆35Updated 11 months ago
• tron-forum / mtk3_bsp2
  μT-Kernel 3.0 BSP (Board Support Package) v2
  ☆16Updated 3 weeks ago
• lpproj / fdkernel
  A fork of FreeDOS development kernel (http://www.fdos.org/kernel/): supporting DBCS pathname and other (non-IBMPC) platform like NEC PC-9…
  ☆31Updated last year
• tnishinaga / RPi_Micon_C85book
  「BareMetalで遊ぶ Raspberry Pi」のプログラムです。
  ☆46Updated 6 years ago
• takeharukato / yatos
  Yet Another Teachable Operating System
  ☆35Updated 5 years ago
• toppers / users-forum
  TOPPERSユーザーズフォーラム：ユーザのためのQ&Aおよび情報交換の場
  ☆12Updated 2 years ago
• ytoyoyama / interface_trykernel
  Interface 2023年7月号 特集「ゼロから作るOS」配布プログラム
  ☆67Updated 3 months ago
• satoru-takeuchi / ld-hello
  hello world written in GNU linker script
  ☆13Updated 4 years ago
• HidenoriMatsubayashi / evisor
  Light-weight Bare Metal Hypervisor (Type 1) written in C++
  ☆57Updated 6 months ago
• garasubo / T-Visor
  Real-time hypervisor for ARM
  ☆64Updated 8 years ago
• Totsugekitai / minOSv2
  A minimal Operating System version 2
  ☆21Updated 3 years ago
• hirakuni45 / RX
  Renesas RX Microcontroller, C++ framework, Library, Sample
  ☆70Updated 2 weeks ago
• d-kato / mbed-gr-libs
  Library group for GR-boards.
  ☆12Updated 5 years ago
• cupnes / c92_uefi_bare_metal_programming_samples
  ☆56Updated 7 years ago
• developer-kikikaikai / design_pattern_for_c
  Libraries for C language to show some design pattern
  ☆13Updated 5 years ago
• maskedw / picox
  組み込みC向け軽量汎用ライブラリ
  ☆15Updated 5 years ago
• hikalium / opv86
  Opcode / Instruction finder for x86_64
  ☆70Updated last year
• cupnes / sh_gbos
  GameBoy OS made with shell script.
  ☆23Updated last year
• spike-rt / spike-rt
  An RTOS-based software platform for LEGO® Education SPIKE™. (WIP!)
  ☆13Updated 10 months ago
• liva / xhci_uio
  ☆27Updated 7 years ago
• jr4qpv / rtk_kernel
  TRON Forum T-Kernel for Raspberry Pi and Renesas RZ/T1.
  ☆12Updated 5 months ago
• yabits / uefi
  Fast and lightweight yet another UEFI implementation
  ☆100Updated 2 years ago
• toppers / asp3_in_zig
  TOPPERS/ASP3 Kernel written in Zig Programming Language
  ☆15Updated 9 months ago
• oraccha / omicron
  Omicron Wiki
  ☆18Updated 12 years ago
• cupnes / x86_64_jisaku_os_samples
  ☆15Updated 5 years ago
• shibatchii / RISC-V
  RISC-V documentation transrate to Japanese.
  ☆73Updated 3 years ago
• brain-hackers / linux-brain
  Linux kernel source tree for SHARP Brain series (PW-SH1 or later)
  ☆28Updated last month