How do the binary sizes compare? An original Linux 0.11 kernel vs. this oxidized version.
If it's written with nostd, I'd expect them to be similar.
If it's written with nostd, I'd expect them to be similar.