'24 未踏IT スーパークリエータ

'24 未踏IT人材発掘・育成事業

3rd-Generation Capability-Based Microkernelを実装し，IPC Round-Trip 590Cycle (Intel N150@3.6GHz)を達成

C, C++, ASMを用いてマイクロカーネルを実装しました.