RetroBSD is an embedded version of 2.11BSD for PIC32 micro-controllers.

cd /usr/local
wget https://github.com/downloads/jasonkajita/chipKIT-cxx/pic32-tools-chipKIT-cxx-master-Linux32-image-20120720.zip
unzip pic32-tools-chipKIT-cxx-master-Linux32-image-20120720.zip

mkdir -p /embedded
cd /embedded
git clone https://github.com/RetroBSD/retrobsd.git
cd retrobsd

sed -i 's/(MAX32)/(SDXL)/' Makefile
make