Deploying the image for intel boards (UP Board)

It consists of copying a redpesk disk image on an usb drive.

Please also refer to UP Board specification on intel website.

Download images

See Download Images section

Download the x86_64 image from command line

Create a directory to download the image:

mkdir ~/redpeskimage
cd ~/redpeskimage

Then download the latest redpesk OS image with this command:

wget -r -nd -nc --no-parent -A "redpesk*smack*" 'https://download.redpesk.bzh/redpesk-lts/arz-1.1-update/images/smack/minimal/x86_64/generic/'

Control the image integrity

Before doing anything, please control the integrity of the downloaded redpesk image. Example:

sha256sum -c redpesk*.tar.xz.sha256
redpesk*x86_64*.tar.xz: OK

Copying the image on your usb drive

Plug your usb drive and Find it (be sure it is unmounted)

Copy the correct device path thanks to the command below. It should be a hotplug device.

lsblk -dli -o PATH,VENDOR,TYPE,HOTPLUG,MODEL

DEVICE_TO_COPY='/dev/<hotplug_device>' #in the example it is /dev/sdc

Example:

$ lsblk -dli -o PATH,VENDOR,TYPE,HOTPLUG,MODEL
PATH         VENDOR   TYPE HOTPLUG MODEL
/dev/sda     ATA      disk       0 WDC_WD10SPZX-08Z10
/dev/sdc     SanDisk  disk       1 Ultra_USB_3.0 #MY_USB_DRIVE
/dev/nvme0n1          disk       0 LITEON T11 512
DEVICE_TO_COPY=/dev/sdc

Or if only one device is hotpluggable on your computer:

# need jq
DEVICE_TO_COPY=$(lsblk -dlJ -o PATH,VENDOR,TYPE,HOTPLUG,MODEL | jq -r '.blockdevices[] | select(.hotplug == true).path')
echo $DEVICE_TO_COPY

Umount if needed

lsblk $DEVICE_TO_COPY
# need to umount each partition
sudo umount <part*>

Example:

$ lsblk /dev/sdc
NAME   MAJ:MIN RM  SIZE RO TYPE MOUNTPOINT
sdc      8:32   1 14.6G  0 disk
├─sdc1   8:33   1  501M  0 part /run/media/iotbzh/0409-3A02
├─sdc2   8:34   1    1G  0 part /run/media/iotbzh/cd3c87ec-1011-4832-aef3-6be0ed3d3748
└─sdc3   8:35   1  2.5G  0 part /run/media/iotbzh/4e508264-8ce2-447f-a829-e4c31ea20047
$ sudo umount /run/media/iotbzh/*

Flash sdcard

Prerequisites: device is plugged in, found, unmounted

  • Extract the image first 
    tar xJf redpesk*.tar.xz
  • Flash it using dd 
    sudo dd if="Redpesk-OS.img" of=$DEVICE_TO_COPY bs=4M status=progress
  • Or using bmaptool 
    bmaptool copy "Redpesk-OS.img" $DEVICE_TO_COPY

TIPS: Once your are used to flash your image, you could do it much faster in one single step using bmaptool like this:

bmaptool copy "https://download.redpesk.bzh/redpesk-lts/arz-1.1-update/images/smack/minimal/x86_64/generic/image.raw.tar.xz" $DEVICE_TO_COPY

This will download, control integrity and flash the latest redpesk OS image on your device.

Boot the UP Board

Prerequisites

  • usb drive copied and plugged into upboard
  • keyboard, screen plugged into upboard
  • ethernet cable pluggeg (optionnal)

Power on the UP Board

Press F7 key at startup to enter into the bios. You just need to boot on the usb drive.

If you are prompted for a password press enter key or use the default password ‘upassw0rd’.

Restart and wait, it is booting!

Default root password is root.

Connect to the board over SSH

It needs ethernet cable plugged into the board, and getting the ip.

  • User: root
  • Password: root

Getting the ip on target

# on board
ip a

On your computer:

# on computer
ssh root@<ip_found>

Installing a package

See this section for installing and starting helloworld-binding: Application deployment