From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <2C74F78127C4A2CCC542064C38FF5894@felloff.net>
Date: Sat,  5 Jan 2019 20:13:07 +0100
From: cinap_lenrek@felloff.net
To: raingloom@protonmail.com, 9fans@9fans.net
In-Reply-To: E0SfRnIcA2vUrNv95TzFTkJIWAFasOZwPCAjmMEsmj8mXtRExEE6hxv5xe5mKdrLFy4aW0K9Me7caZZyM4GXtlAN__z7B_3F6Ud9KsQqqV8=@protonmail.com
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] Raspberry Pi 3 B+ image of 9front
Topicbox-Message-UUID: f26f7078-ead9-11e9-9d60-3106f5b1d025

richard miller did a very fine job with the image.

9front used to have a image to download based on it for the raspi1,
but it is quite old and nobody updated it.

in the last release, we updated the kernel from richards
code and made the /sys/lib/dist/mkfile able to produce a
bootable sdcard image with hjfs filesystem.

documentation in the fqa is under way.

you can build a bootable sdcard image by running:

# build arm userspace
objtype=arm
cd /sys/src
mk install

# build kernel
cd /sys/src/9/bcm

# pi1 kernel (optional)
mk 'CONF=pi' install

# pi2/3 kernel
# mk 'CONF=pi2' install (pi2 is default)
mk install

# download firmware
cd /sys/src/boot/bcm
mk

# build bootable hjfs sdcard image
cd /sys/lib/dist
mk /tmp/mysdcard.pi.img

# copy to sdcard
cat /tmp/mysdcard.pi.img > /dev/sdM0/data

--
cinap