Tiny core Linux is far too heavy for what they're asking for. It's the very bare essentials for a user, not a bare metal programmer. The OSDev wiki has lots of

Tiny core Linux is far too heavy for what they're asking for. It's the very bare essentials for a user, not a bare metal programmer. The OSDev wiki has lots of actually minimal examples for different architectures and boards