orumin さんだよ
今年度無限に成果が出てない気がして辛くなってきた。
omasanori さんをめっきり Twitter の方で見なくなってしまった気がする。
Robigalia https://robigalia.org/ seL4をベースにしてRustで書かれたケーパビリティOS
