Table of Contents

Quick Start

Prerequisites

Preparing flash devices on an existing FreeBSD host

  1. Fetch the SD card and USB stick images
  2. Write the SD card image
xz -dc Efika_MX_SD_card.img.xz | dd of=/dev/mmcsd0 bs=64k
  1. 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

  1. Lift off Smartbook keyboard. A small screwdriver needs to be inserted into holes near F1, F6, F10, and End to gently pry it up.
  2. Change dip switches from default of ON-ON-ON-off to off-off-off-ON
  3. Replace keyboard
  4. Insert SD card and USB stick in smartbook
  5. 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:

Debugging