And if you want to see something crazy, here's 2.11BSD running on PIC32: http://retrobsd.org/wiki/doku.php