Home

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.

Tutorials and guides:

• How to build a kernel and SD card image
• Building LiteBSD kernels with config
• Networking
• ELF tool chain

Supported boards:

• chipKIT WiFire board
• Microchip Multimedia Expansion Board II
• Majenko SDZL board
• Citilab Whitecat board
• Olimex HMZ144 board
• SnadPIC MZ board

Technical docs:

• SD card benchmark
• General Purpose IO Driver
• Utilities for system statistics
• UART pins on PIC32MZ microcontroller
• SPI pins on PIC32MZ microcontroller
• Memory map of PIC32MZ microcontroller
• Interrupt priority levels
• Ethernet Initialization
• Table of system calls
• Table of software signals
• libkvm Library