Workspace for experiments trying to port 4.4bsd to pic32mz microcontroller