Hacker News Reader

I think it's a FreeBSD variant, if I remember correctly.

It's definitely not. Completely bespoke OS.

ps* is based on freeBSD, Nintendo is proprietary (though use OSS libraries)