1 [Tizen Quick guide for Raspberry Pi3 ]
3 1. How to build RPI3 kernel
5 1) Get kernel sources from git repository
6 repo: https://git.tizen.org/cgit/platform/kernel/linux-rpi3
9 2) Setup aarch64 cross compiler like toolchain released from linaro http://releases.linaro.org/components/toolchain/binaries/
11 3) Build kernel using build-rpi3-arm64.sh script in kernel source
12 $ ./build-rpi3-arm64.sh
14 4) You can make boot.img including kernel/dtb binary and necessary files to boot
15 $ ./scripts/mkbootimg_rpi3.sh
18 2. Making micro sd card to be possible to boot
20 This describes how to partition micro sd-card, format each partition of the card and flash vendor binaries and kernel images to the card
23 You can get ./scripts/sd_fusing_rpi3.sh file from RPI3 kernel source
24 ( review.tizen.org:29418/platform/kernel/linux-rpi3 )
26 2) Prepare to use fusing script
27 Make the file executable
28 $ chmod u+x sd_fusing_rpi3.sh
31 $ sudo apt-get install pv
33 3) Partitioning for Tizen
34 Connect the micro sd to Desktop using Card Reader and check device node
38 Partition table entries are not in disk order
39 Disk /dev/sdb: 7948 MB, 7948206080 bytes
40 245 heads, 62 sectors/track, 1021 cylinders, total 15523840 sectors
41 Units = sectors of 1 * 512 = 512 bytes
42 Sector size (logical/physical): 512 bytes / 512 bytes
43 I/O size (minimum/optimal): 512 bytes / 512 bytes
44 Disk identifier: 0x00000000
45 Device Boot Start End Blocks Id System
46 /dev/sdb1 * 8192 139263 65536 e W95 FAT16 (LBA)
49 Run "sd_fusing_rpi3.sh" script with device node
50 (This script does partitioning a given micro sd storage and formats each partition of the storage)
51 $ sudo ./sd_fusing_rpi3.sh -d /dev/sdb --format
53 Partition information after finishing sd_fusing_rpi3.sh
54 +---------------+------------+-----------+
55 | Label | device | size |
56 +---------------+------------+-----------+
57 | boot | /dev/sdb1 | 64MB |
58 +---------------+------------+-----------+
59 | rootfs | /dev/sdb2 | 3072MB |
60 +---------------+------------+-----------+
61 | system-data | /dev/sdb3 | 512MB |
62 +---------------+------------+-----------+
63 | extend | /dev/sdb4 | |
64 +---------------+------------+-----------+
65 | user | /dev/sdb5 | 101MB |
66 +---------------+------------+-----------+
67 | module | /dev/sdb6 | 20MB |
68 +---------------+------------+-----------+
69 | ramdisk | /dev/sdb7 | 8MB |
70 +---------------+------------+-----------+
72 4) Copy boot binaries to first partition of micro sd, which is boot partition.
74 [For Platform developers]
75 Please get boot binary tar.gz for rpi3 from download.tizen.org and flash it using sd_fusing_rpi3.sh script
76 http://download.tizen.org/snapshots/tizen/unified/latest/images/standard/common-boot-arm64-rpi3/
78 [For Kernel developers]
79 Mount first partition of micro sd
80 $ sudo mount /dev/sdb1 /mnt
81 (The parition, /dev/sdb1, is dependent on your Host PC env.)
83 Get boot binaries from kernel/rpi3/boot/ directory
84 (The file names are bootcode.bin, config.txt, fixup.dat, LICENCE.broadcom and start.elf)
85 Copy all files from boot directory to /mnt, boot partition.
86 $ sudo cp -a boot/* /mnt/
88 Copy below kernel image and device tree binaries to /mnt after building kernel source code
89 bcm2710-rpi-3-b.dtb and bcm2837-rpi-3-b.dtb of arch/arm64/boot/dts/broadcom/
90 Image file of arch/arm64/boot/
91 For kernel build, please refer to build-rpi3-arm64.sh ( review.tizen.org:29418/platform/kernel/linux-rpi3 )
94 3. How to flash platform image for Tizen
96 1) If you have not initialized micro sd, please first do [1]
97 Insert the micro sd to Desktop PC using Card Reader and check device node
101 Partition table entries are not in disk order
102 Disk /dev/sdb: 7948 MB, 7948206080 bytes
103 245 heads, 62 sectors/track, 1021 cylinders, total 15523840 sectors
104 Units = sectors of 1 * 512 = 512 bytes
105 Sector size (logical/physical): 512 bytes / 512 bytes
106 I/O size (minimum/optimal): 512 bytes / 512 bytes
107 Disk identifier: 0x00000000
108 Device Boot Start End Blocks Id System
109 /dev/sdb1 * 8192 139263 65536 e W95 FAT16 (LBA)
112 2) Flash a platform image to the micro sd card.
113 (you can download lastest tizen tv platform binary from here:
114 - https://download.tizen.org/snapshots/tizen/tv/latest/images/arm-wayland/tv-wayland-armv7l-odroidu3/ )
116 $sudo ./sd_fusing_rpi3.sh -d /dev/sdb -b platform.tar.gz
118 Above command will flash each image contained in the platform image to corresponding partition of the micro sd card like below.
120 +-----------------+------------------------+
121 | Image file name | Partition table name |
122 +-----------------+------------------------+
123 | boot.img | /dev/sdb1 |
124 +-----------------+------------------------+
125 | rootfs.img | /dev/sdb2 |
126 +-----------------+------------------------+
127 | system-data.img | /dev/sdb3 |
128 +-----------------+------------------------+
129 | user.img | /dev/sdb5 |
130 +-----------------+------------------------+
131 | modules.img | /dev/sdb6 |
132 +-----------------+------------------------+
133 | ramdisk.img | /dev/sdb7 |
134 +-----------------+------------------------+
139 If you want to read and write serial messages via UART from host, you need USB to TTL cable and should connect it on Raspberry Pi3
140 refer to http://raspberrypi.stackexchange.com/questions/15819/how-to-identify-the-usb-to-serial-wire-mismatched
145 The Smart Development Bridge (SDB) is a device management tool included in the Tizen SDK
146 refer to https://developer.tizen.org/dev-guide/2.4/org.tizen.devtools/html/common_tools/smart_dev_bridge.htm
148 1) host setup example
149 $ sudo ifconfig eth0:1 192.168.0.1 up
151 2) rpi3 setup example
152 # ifconfig eth0 192.168.0.2 up
153 # route add default gw 192.168.0.1
155 3) host sdb connect by ethernet example
156 $ sdb connect 192.168.0.2
158 4) check sdb connection
162 List of devices attached
163 192.168.0.2:26101 device xu3
169 $sdb push localfile remote_position