Setting up Tizen image to RPI

Flash an image to RPI

This topic describes how to flash Tizen on SD card with or without IoT Setup Manager and setting up Raspberry Pi 3 or 4.

Download Image Files

1. Download Tizen images
   Download a proper boot image and a platform image.

   1. Boot Imges
      • RPI 4: tizen-unified_latest_tizen-boot-armv7l-rpi4.tar.gz
      • RPI 3: tizen-unified_latest_tizen-boot-armv7l-rpi3.tar.gz
   2. Platform Images
      • Headed Image: IoT device with a display tizen-unified_latest_tizen-headed-armv7l.tar.gz
      • Headless Image: IoT device without a display tizen-unified_latest_tizen-headless-armv7l.tar.gz

2. Download Plugin Plugin needs to be installed to use Wifi. Please visit to the link and download Raspberry Pi 3/4(6.5) Plugin.

   

   Unzip the download file.

Flashing SD card

You can flash SD card using either the Tizen IoT Setup Manager or a script.

Flashing SD card using IoT Setup Manager

You can install IoT Setup Manager through Tizen Studio Package manager under Extension SDK.

1. Connect Micro SD card to computer

If you have Tizen installed SD card, you don't need to format again.

2. Start IoTSetup Manager

   • Windows, go to Start Menu > Programs > Tizen Studio > Tools > IoT Setup Manager.
   • Ubuntu, go to Dash (equivalent to Start Menu) > Applications > IoT Setup Manager.

3. Create and Set IoT Profile Create a new profile with a proper name, target and path like above.

   • Profile name: The name of a profile.
   • Target: RPI version and a type if there is a screen. (e.g. RPI 4 using display: RPI4_HEADED )
   • Boot image: Boot image you downloaded
   • Platform image: Platform image you downloaded.
   • RPM bundles: Directory where you downloaded and located plugin.
   • Wifi: Wifi setup information. (Wifi can be setup later, too.)
   • Ethernet: Ethernet information in case you want to set.
     • IP: 192.168.1.11
     • Gateway: 192.168.1.2
     • Subnet: 255.255.255.0
     • Primary DNS Server: 127.0.0.1

4. Flash Tizen Image

   • Select the profile you created.
   • Select the appropriate SD Card from the drop-down list (e.g., /dev/sdx on Ubuntu and F: on Windows).
   • Click Burn to burn Tizen to your SD Card

5. Put SD card to Raspberry PI

   • Put SD card to Raspberry PI (Micro SD card slot) and turn on Raspberry PI.

Flashing SD card using a script

You can also flash the SD card through command-line in Linux computer instead of using IoT Setup Manager. To flash the SD card for Raspberry Pi 3 or 4 without IoT Setup Manager:

1. Complete the following prerequisites:

   1. Install the pv package in the Linux computer:

       $ sudo apt-get install pv
   

   2. Ensure that you have an SD card of 8 GB or more.
   3. Verify whether the binary image files are in your computer.
   4. Fusing-script for Raspberry Pi (fusing script is same for RPI3 and RPI4):

   $ wget https://git.tizen.org/cgit/platform/kernel/u-boot/plain/scripts/tizen/sd_fusing_rpi3.sh?h=tizen --output-document=sd_fusing_rpi3.sh
   $ chmod 755 sd_fusing_rpi3.sh
   

2. Flash the SD card to ensure it is ready to be used for Tizen:

   1. Insert an SD card to the Linux computer and verify its device node.

   Note To verify the device node:

   1. Run the following command before inserting the SD card into the Linux computer:

      $ ls -al /dev/sd*
      

      For example:

      $ ls -al /dev/sd*
      brw-rw---- 1 root disk 8, 0  9 18 09:08 /dev/sda <br/>
      brw-rw---- 1 root disk 8, 1  9 18 09:08 /dev/sda1<br/>
      brw-rw---- 1 root disk 8, 2  9 18 09:08 /dev/sda2<br/>
      brw-rw---- 1 root disk 8, 5  9 18 09:08 /dev/sda5<br/>
      

   2. Insert the SD card and type the same command again:

      $ ls -al /dev/sd*
      

      For example:

      $ ls -al /dev/sd*
      

      brw-rw---- 1 root disk 8, 0 9 18 09:08 /dev/sda
      brw-rw---- 1 root disk 8, 1 9 18 09:08 /dev/sda1
      brw-rw---- 1 root disk 8, 2 9 18 09:08 /dev/sda2
      brw-rw---- 1 root disk 8, 5 9 18 09:08 /dev/sda5
      brw-rw---- 1 root disk 8, 16 9 22 14:59 /dev/sdb
      brw-rw---- 1 root disk 8, 17 9 22 14:59 /dev/sdb1
      brw-rw---- 1 root disk 8, 18 9 22 14:59 /dev/sdb2
      brw-rw---- 1 root disk 8, 19 9 22 14:59 /dev/sdb3
      brw-rw---- 1 root disk 8, 20 9 22 14:59 /dev/sdb4
      brw-rw---- 1 root disk 8, 21 9 22 14:59 /dev/sdb5
      brw-rw---- 1 root disk 8, 22 9 22 14:59 /dev/sdb6
      brw-rw---- 1 root disk 8, 23 9 22 14:59 /dev/sdb7
      The new sdX node (where X is a letter) is the device node for the SD card.

      In this example, the device node for the SD card is sdb.

   2. Run the following commands:

   $ sudo ./sd_fusing_rpi3.sh -d <SD card device node> --format
   $ sudo ./sd_fusing_rpi3.sh -d <SD card device node> -b <Boot Image path> <Platform Image path>
   

   For example:

   $ sudo ./sd_fusing_rpi3.sh -d /dev/sdb --format
   $ sudo ./sd_fusing_rpi3.sh -d /dev/sdb -b tizen-unified_latest_-boot-armv7l-rpi3.tar.gz tizen-unified_latest_-headed-armv7l-rpi.tar.gz
   

3. Install Plugin

   Connecting Wifi on a target device will be available after installing plugin.

   1. Go to the plugin folder you downloaded and unzip.
   2. Connect the target device with sdb
   3. Execute install script depends on your situation.
      • install_with_SDB.bat: on windows PC with sdb
      • install_with_SDB.sh : on Linux PC with sdb
      • install_on_target.sh: on internal storage of the target

   ~/RPI3n4_plugin_tizen-6.5 $  ./install_with_SDB.sh