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

ToolsRaspberryPiUSB MicroB CableUSB Charger ( > 700mA)SD Card( > 8GB),SD Card R/WPC(Linux | OS X | Windows) for AdvUSB Key Board, MouseHDMI Monitor, CableEthernet 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 USBMouse and Keyboard

Connected!

Power ON

Login

Login ID: piLogin Pass: raspberry

Firefox OS Install

OutlineMake directory for Firefox OSGet Firefox OSGet Profile dataBoot!

Make directory for Firefox OS

$ cd $ mkdir fxos$ cd fxos

[dir]: Directory namecd [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 WWWwget [NetFile]: Download [NetFile]

UnpackFirefox OS tarball

$ tar xvzf b2g-17.0a1.linuxgl-gnueabi-armhf_v6.tar.gz$ cd b2g/

[file]: tarball file nametar xvzf [file]: unpack command(x:unpack files, v:view files list, z:.gz unpack, f [file]: tarball file name)

Download and unpackprofile 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 displayAdd camera displayAdd 3G module

If add 3G module, That’s Phone!!

Advance Course

Raspbian “wheezy” Install

ToolsPersonal Computer(OS X)SD Card ,SD Card R/W

Prepare of Environmentex: OSX

Mac Ports | Homebrewsudo port install wgetbrew install wget

Install Start!Make Directory

$ cd $ mkdir raspi$ cd raspi

[dir]: Directory namecd [dir]: Change Directory for [dir]　　　　　(if [dir] = empty then [dir] = HomeDirectory)mkdir [dir]: Make Directory

DownloadRaspbian “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 nameunzip [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% /devmap -hosts 0 0 0 100% /netmap 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/disk2s1password: *****

[com]: Command[disk]: BSD namesudo [com]: Run command as super userpassword: *****: Super user passworddiskutil: OSX disk utility commanddiskutil unmount [disk]: Unmount disk

WriteDebian “wheezy”

$ sudo dd bs=1m if=./2012-10-28-wheezy-raspbian.img of=/dev/rdisk2

[img disk]: Image disk./ : Current Directory/ : Root Directorydd: Disk dump　　(Copy all image)bs=*: Block Size(1m=1MB)if=[img disk]: Source image diskof=[disk]: Output disk

WriteDebian “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 Piexpand_rootfs

Use SD Card full access

configure_keyboardSelect your keyboard layout

change_timezoneex:「Asia」→「Tokyo」

updateUpdate Debian

☕Coffee Break

ReferencesRaspberryPi Quick Start Guide

http://www.raspberrypi.org/quick-start-guideRaspberry Pi Download

http://www.raspberrypi.org/downloadsRPi Easy SD Card Setup

http://elinux.org/RPi_Easy_SD_Card_SetupRaspberry Pi Configure

http://gold.ap.teacup.com/maz01/319.htmlFirefoxOS Instration

http://eva-quirinius.blogspot.nl/2012/08/running-firefoxos-b2g-on-raspi-with.html

Source of FirefoxOS and Profileshttp://romaxa.info/b2g/