lilos1 Wed, 28 Oct 2015 01:55:30 -0700
LiteBSD has been ported to PIC32 MIPS 200MHz with MMU.
I think LiteBSD is freesoftware.