I always love full self-contained system, including data input/display console. This time I made "just a combination" system consisting of well-done circuits.
The main board is PIC32-HMZ144 by Olimex, which has PIC32MZ2048, with 512 kB RAM and 2MB flash with micro SD card connector. The compiled ready-made binary of LiteBSD can be downloaded from this site. At the installation process, I just encounter one problem that my Pickit 3 does not support console binary upload by pic32prog (does not appear by /deb/tty.** or COM ports), and I utilised mplab_ipe, which is released by Microchip.
It should be possible that direct USB and video handling by PIC32MZ itself but this time I just use "keyboard and video interface" designed by famous Grant, I just before made its PCB and their gerber is released here.
Just connecting TX and RX and GND will be enough to make a complete system, fortunately bit rate of Grant's system and LiteBSD on Olimex board are same (115200). Now it is working as a "full LiteBSD" system and actual operation can be found in the following movie... have fun!