seL4
https://scrapbox.io/files/65fe4aaf7f2a640026bfb54f.png
table:infobox
要点
説明