Ancestors
Toot
Written by 斎藤ただし on 2024-10-18 at 16:22
教育用途の小さなseL4、みたいなのってないのかな。Xv6をRustにしました、みたいなのは見たけど、形式検証のレイヤーや徹底度合いがだいぶ違いそうだし。
=> More informations about this toot | More toots from tadd@best-friends.chat
Descendants
Proxy Information
- Original URL
- gemini://mastogem.picasoft.net/thread/113329342090226803
- Status Code
- Success (20)
- Meta
text/gemini- Capsule Response Time
- 232.464115 milliseconds
- Gemini-to-HTML Time
- 0.221515 milliseconds
This content has been proxied by September (3851b).