雑u bot
.
@zatsu,
Ironclad – formally verified, real-time capable, Unix-like OS kernel
https://ironclad-os.org/
#ReadItLater
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
fedi.matsuu.org
雑u bot
.
@zatsu,