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
  ☆223Updated last month
• ytoyoyama / trykernel
  Try Kernel
  ☆22Updated last month
• tnishinaga / RPi_Micon_C85book
  「BareMetalで遊ぶ Raspberry Pi」のプログラムです。
  ☆46Updated 6 years ago
• cupnes / x86_64_jisaku_os_samples
  ☆15Updated 5 years ago
• KyotoMicrocomputer / solid-rapi4
  SOLID for Raspberry Pi 4
  ☆33Updated 9 months ago
• toppers / asp3_in_zig
  TOPPERS/ASP3 Kernel written in Zig Programming Language
  ☆15Updated 6 months ago
• cupnes / c92_uefi_bare_metal_programming_samples
  ☆53Updated 7 years ago
• toppers / users-forum
  TOPPERSユーザーズフォーラム：ユーザのためのQ&Aおよび情報交換の場
  ☆12Updated 2 years ago
• hirakuni45 / RX
  Renesas RX Microcontroller, C++ framework, Library, Sample
  ☆69Updated this week
• ytoyoyama / interface_trykernel
  Interface 2023年7月号 特集「ゼロから作るOS」配布プログラム
  ☆67Updated last month
• moizumi99 / m99_riscv_emulator
  Simple RISC-V emulator
  ☆16Updated 4 years ago
• garasubo / T-Visor
  Real-time hypervisor for ARM
  ☆64Updated 8 years ago
• HidenoriMatsubayashi / evisor
  Light-weight Bare Metal Hypervisor (Type 1) written in C++
  ☆57Updated 4 months ago
• tron-forum / mtk3_bsp2
  μT-Kernel 3.0 BSP (Board Support Package) v2
  ☆15Updated 2 months ago
• takeharukato / yatos
  Yet Another Teachable Operating System
  ☆35Updated 5 years ago
• satoru-takeuchi / ld-hello
  hello world written in GNU linker script
  ☆13Updated 4 years ago
• vaj / riscv-os
  A tiny educational OS for RISC-V
  ☆19Updated 4 months ago
• developer-kikikaikai / design_pattern_for_c
  Libraries for C language to show some design pattern
  ☆13Updated 4 years ago
• Totsugekitai / minOSv2
  A minimal Operating System version 2
  ☆21Updated 3 years ago
• caprese-project / libc
  Standard C/C++ library template
  ☆11Updated last year
• hikalium / opv86
  Opcode / Instruction finder for x86_64
  ☆70Updated last year
• d-kato / mbed-gr-libs
  Library group for GR-boards.
  ☆12Updated 4 years ago
• yabits / uefi
  Fast and lightweight yet another UEFI implementation
  ☆99Updated 2 years ago
• nuta / microkernel-book
  『自作OSで学ぶマイクロカーネルの設計と実装』サポートサイト
  ☆206Updated 3 weeks ago
• spike-rt / spike-rt
  An RTOS-based software platform for LEGO® Education SPIKE™. (WIP!)
  ☆13Updated 7 months ago
• takeharukato / sample-tsk-sw
  A Sample Operating System Kernel for Embedded Systems
  ☆14Updated 4 years ago
• tnishinaga / kozos-rpi
  こちらは教育用自作組み込みOSであるKOZOSをRaspberry Piへ移植したものです。This is an KOZOS(http://kozos.jp/kozos/) port to Raspberry Pi.
  ☆19Updated 7 years ago
• k-mrm / xv6-aarch64
  xv6 port to aarch64 virt board
  ☆20Updated last year
• envzhu / semzhu-visor
  Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu
  ☆11Updated 5 years ago