LiteBSD: 4.4BSD for PIC32 Microcontrollers

LiteBSD is variant of 4.4BSD operating system for microcontrollers. Currently, only Microchip PIC32MZ family is supported.

PIC32MZ is a MIPS32 processor with MMU with paging support, and 512kbytes of on-chip RAM. These resources are enough to run 4.4BSD.

This is similar to RetroBSD, which is derived from 2.11BSD.