uCLinux was a real thing for a good long while, though I think at this point real microprocessors are cheap, simple, and widely available enough that there hasn't been much need.