> Is that swap space? I assumed these devices didn't use swap. That would have surprised me, and indeed they write [0] > After a cheerful pre-boot 'Hello, wor

> Is that swap space? I assumed these devices didn't use swap. That would have surprised me, and indeed they write [0] > After a cheerful pre-boot 'Hello, world!' hand-coded in start-up code assembly, we ran into the first one: it turned out that the processor cores don't merely support 16kB pages, but they actually require them. The Linux kernel, however, took this in stride, and as soon as we switched the page size configuration option, it was happy to run. [0] https://projectsandcastle.org/history https://projectsandcastle.org/history