PIC32-RETROBSD, Отладочная плата на основе PIC32MX795F512H способная запускать RetroBSD Unix-like систему