Firefox OS
+
Raspberry Pi
||
?
EnsekiTT
Goal
Run FirefoxOS in Raspberry Pi
What’s that?
Raspberry PiFirefox OS
What’s that?
Raspberry PiFirefox OS
Open Source
Web is the platform
Made of the Web
Made by Firefox
Low Cost
Small Size
ARM Core
Rich Interfaces
Tools
RaspberryPi
USB MicroB Cable
USB Charger ( > 700mA)
SD Card( > 8GB),SD Card R/W
PC(Linux | OS X | Windows) for Adv
USB Key Board, Mouse
HDMI Monitor, Cable
Ethernet Cable(Connect the Internet)
Raspbian “wheezy”
DebianRaspberry Pi
Raspbian “wheezy”
DebianRaspberry Pi
Linux Distribution
Open Source
Operating System
Big Community
Low Cost
Small Size
ARM Core
Rich Interfaces
Here!
This is baked Pi
(Debian installed SD Card)
Start up!
Insert SD Card
Start up!
Connect HDMI Cable
Start up!
Connect LAN Cable
Start up!
Connect USB
Mouse and Keyboard
Connected!
Power ON
Login
Login ID: pi
Login Pass: raspberry
Firefox OS Install
Outline
Make directory for Firefox OS
Get Firefox OS
Get Profile data
Boot!
Make directory for
Firefox OS
$ cd
$ mkdir fxos
$ cd fxos
[dir]: Directory name
cd [dir]: Change Directory for [dir]     
(if [dir] = empty then [dir] = HomeDirectory)
mkdir [dir]: Make Directory
Download Firefox OS
$ wget http://michi.mozlabs.jp/fxos/
b2g-17.0a1.linuxgl-gnueabi-armhf_v6.tar.gz
[NetFile]: File on WWW
wget [NetFile]: Download [NetFile]
Unpack
Firefox OS tarball
$ tar xvzf b2g-17.0a1.linuxgl-gnueabi-
armhf_v6.tar.gz
$ cd b2g/
[file]: tarball file name
tar xvzf [file]: unpack command
(x:unpack files,
v:view files list,
z:.gz unpack,
f [file]: tarball file name)
Download and unpack
profile data
$ wget http://michi.mozlabs.jp/fxos/
profile.tar.gz
$ tar xvzf profile.tar.gz
$ ./b2g -profile profile
Finish
Close Firefox OS
Halt Raspberry Pi
and unconnect Power USB
$ sudo halt
[Ctrl] + c
Future Work
Add touch display
Add camera display
Add 3G module
If add 3G module, That’s Phone!!
Advance Course
Raspbian “wheezy”
Install
Tools
Personal Computer(OS X)
SD Card ,SD Card R/W
Prepare of Environment
ex: OSX
Mac Ports | Homebrew
sudo port install wget
brew install wget
Install Start!
Make Directory
$ cd
$ mkdir raspi
$ cd raspi
[dir]: Directory name
cd [dir]: Change Directory for [dir]     
(if [dir] = empty then [dir] = HomeDirectory)
mkdir [dir]: Make Directory
Download
Raspbian “wheezy”
$ wget http://downloads.raspberrypi.org/
images/raspbian/2012-10-28-wheezy-
raspbian/2012-10-28-wheezy-raspbian.zip
You can get hire ↓
http://www.raspberrypi.org/
downloads
Unpack Zip
$ unzip 2012-10-28-wheezy-raspbian.zip
[file]: Zip File name
unzip [file]: Unpack [file]
Insert SD card
$ df
df: Show disk parameters
Filesystem 512-blocks Used Available Capacity Mounted on
/dev/disk0s2 723603632 442647392 280444240 62% /
devfs 376 376 0 100% /dev
map -hosts 0 0 0 100% /net
map auto_home 0 0 0 100% /home
/dev/disk2s1 31488000 4480 31483520 1% /Volumes/NO NAME
Take note : /dev/disk2s1(BSD Name)
Unmount SD Card
$ sudo diskutil unmount /dev/disk2s1
password: *****
[com]: Command
[disk]: BSD name
sudo [com]: Run command as super user
password: *****: Super user password
diskutil: OSX disk utility command
diskutil unmount [disk]: Unmount disk
Write
Debian “wheezy”
$ sudo dd bs=1m
if=./2012-10-28-wheezy-raspbian.img
of=/dev/rdisk2
[img disk]: Image disk
./ : Current Directory
/ : Root Directory
dd: Disk dump
  (Copy all image)
bs=*: Block Size(1m=1MB)
if=[img disk]: Source image disk
of=[disk]: Output disk
Write
Debian “wheezy”
$ sudo dd bs=1m
if=./2012-10-28-wheezy-raspbian.img
of=/dev/rdisk2
Q: !? I noted /dev/disk2s1.
A: /dev/disk2s1 is one of disk partition
  Add r for raw access to disk2
  s1 means partition
  Therefore “/dev/rdisk2”
Eject SD Card
$ sudo diskutil eject /dev/rdisk2
diskutil eject [disk]: eject [disk]
First Step of Pi
expand_rootfs
Use SD Card full access
configure_keyboard
Select your keyboard layout
change_timezone
ex:「Asia」→「Tokyo」
update
Update Debian
☕
Coffee Break
References
RaspberryPi Quick Start Guide
http://www.raspberrypi.org/quick-start-guide
Raspberry Pi Download
http://www.raspberrypi.org/downloads
RPi Easy SD Card Setup
http://elinux.org/RPi_Easy_SD_Card_Setup
Raspberry Pi Configure
http://gold.ap.teacup.com/maz01/319.html
FirefoxOS Instration
http://eva-quirinius.blogspot.nl/2012/08/
running-firefoxos-b2g-on-raspi-with.html
Source of FirefoxOS and Profiles
http://romaxa.info/b2g/

Firefox OS + Raspberry Pi