PIC32で動くRetroBSDを中心に構成されたラップトップ