This absolutly got my attention, going to check for sure. I'm older, and when I was in school we learn OS with Minix, a port of UNIX on the 8086 architecture. But this is so much more!
Believe it or not, I considered Minix for this project, as I did BSD and BareMetal OS. In the end, "some Linux" won, and at this time only Tiny Core Linux roughly estimates the ease of a Debian-like repository system to support server-building scripts, while still being a minute distro (under 10MB without the Levinux parts) and not being a hard drive install while still offering persistence... well, the list goes on. It was a very tall order I was trying to fill, and at the time, the QEMU+Tiny Core Linux combo nicely fits the bill.