Quick Start

Prerequisites

Genesi EFIKA MX Smartbook
SD card
USB stick, 2G or larger

Preparing flash devices on an existing FreeBSD host

Fetch the SD card and USB stick images

Write the SD card image

xz -dc Efika_MX_SD_card.img.xz | dd of=/dev/mmcsd0 bs=64k

Write the USB stick image

xz -dc Efika_MX_USB_Flash.img.xz | dd of=/dev/da0 bs=2m

Note: The /dev/mmcsd0 and /dev/da0 devices above are examples from a Thinkpad X220 laptop. Check device names carefully to ensure they correspond to your desired media before issuing the dd commands.

Booting from the flash devices on the Smartbook

Lift off Smartbook keyboard. A small screwdriver needs to be inserted into holes near F1, F6, F10, and End to gently pry it up.
Change dip switches from default of ON-ON-ON-off to off-off-off-ON
Replace keyboard
Insert SD card and USB stick in smartbook

Power up and issue the fatload and bootm commands at the Efika> prompt

Efika> fatload usb 0 0x91000000 kernel.uboot
reading kernel.uboot

5513471 bytes read
Efika> bootm 0x91000000
## Booting kernel from Legacy Image at 91000000 ...
   Image Name:   FreeBSD kernel
   Created:      2013-02-16  13:48:48 UTC
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    5513407 Bytes = 5.3 MiB
   Load Address: 90100000
   Entry Point:  90200100
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
OK

Starting kernel ...

Links:

Quick Start

Prerequisites

Preparing flash devices on an existing FreeBSD host

Booting from the flash devices on the Smartbook

Debugging