Hacker News new | ask | show | jobs
by girvo 2280 days ago
There’s a BSD 2.11 port for PIC32:

http://retrobsd.org/wiki/doku.php/start