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.

	▲	jagged-chisel 23 minutes ago \| parent [-]
		That is indeed the expectation. But what’s the reality?