Tilck：Linux互換性を備えたミニマルな教育用カーネル

Tilckは、バイナリレベルでLinuxとの互換性を備えた教育用のモノリシックカーネルであり、現在i686とRISCV64アーキテクチャ上で動作しています。その小型でシンプルな設計により、カーネルプログラミングの学習に最適であり、LinuxとTilckの間で同じユーザーモードコードの実行を比較できます。Tilckはカスタムアプリケーションを必要とせず、BusyBoxスイートなどの一般的なLinuxプログラムを実行します。将来の用途としては、決定性と超低遅延が必要な組み込みシステムがあり、組み込みLinuxとFreeRTOSやZephyrなどのリアルタイムOSとのギャップを埋める可能性があります。