Very interesting! Reminds me of uClinux for the PSP [1]
Offtopic regarding the PSP version mentioned above: while doing some quick research right now (remembering that my PSP still works, as tested a couple of weeks ago), I sh*t you not, google gave me my own post from 2010. Right in the nostalgia.