LiteBSD for PIC32

For our readers that is not into OS for micros LiteBSD is variant of 4.4BSD operating system for PIC32MZ. PIC32MZ is a MIPS32 processor. It is equipped with MMU with paging support, and 512kbytes of on-chip RAM. These resources are enough to build a compact networked embedded system.