Raspberry Pi Model Bの8GB RAM版の発売とRaspberry Pi OS

Raspberry Pi 4 Model Bの8GB RAM版が発表．同時に発売され，日本も同時発売になったようです．

8GB Raspberry Pi 4 on sale now at $75 – Raspberry Pi

Buy a Raspberry Pi 4 Model B – Raspberry Pi

日本だと今はこのあたりでしょうか．

Raspberry Pi 4 Model B /8GB 発売のご案内 – Raspberry Pi Shop by KSY 8,200円(税抜)+送料550円 → 9,570円

スイッチサイエンス 、「Raspberry Pi 4 Model B / 8GB」を2020年5月28日に発売 | NEWSCAST

Raspberry Pi 4 Model B / 8GB – スイッチサイエンス 10,340 円(税込送料無料)

RAM が8GB あるとデスクトップ用途がRAM を気にせず使えるようになりそうですね．後は例えばビデオミーティングアプリのJitsi Meet をRaspberry Pi でホストしている人がいたりしますが，現在は設定を少し変えて省エネ設定で動かしていますが規定値の設定で動きそうです．
そして8GBもあると気になるのが標準OSのRaspbianがarmhf(32bit)にしか対応していないところ．
別のディストリビューションを使えばarm64(b4bit)は利用できますが標準OSが非対応なのはちょっと悲しいです．

私はDebian をよく使います．

Raspberry Pi 3 Model B の USB起動で Debian buster arm64 を動かす – matoken’s meme

これも今回発表がありました．64bit版のベータがリリースされました．

Not to be left out, today we’ve released an early beta of our own 64-bit operating system image.

Raspbianの名前も変わり，Raspberry Pi OS と改められるようです．

Both our 32-bit and 64-bit operating system images have a new name: Raspberry Pi OS.

新しい64bitの Raspberry Pi OS は以下から入手できます．

Raspberry Pi OS (64 bit) beta test version – Raspberry Pi Forums

ダウンロードサイトのディレクトリもraspiosが出来ています．これまでの32bitは raspios_armhf になるようです．

$ w3m -dump https://downloads.raspberrypi.org/ | grep -E 'raspbian|raspios'
[DIR] raspbian/ 2020-02-25 16:50 -
[DIR] raspbian_full/ 2020-02-14 13:52 -
[DIR] raspbian_lite/ 2020-02-14 13:49 -
[DIR] raspios_arm64/ 2020-05-28 04:38 -
[DIR] raspios_armhf/ 2020-05-28 05:27 -
[DIR] raspios_full_armhf/ 2020-05-28 05:28 -
[DIR] raspios_lite_armhf/ 2020-05-28 05:27 -
[ ] wp-slice-raspbian 2020-05-28 07:46 1.0K

armhfのリリースノートを観るとこれまでのものに今回のバージョンが追記されていました．(64biには未だ存在しない)

$ w3m -dump https://downloads.raspberrypi.org/raspios_armhf/release_notes.txt | grep ^2020-05-27:$ -A 33
2020-05-27:
* Added Bookshelf application
* Added Raspberry Pi Diagnostics application
* Added magnifier plugin to taskbar - needs magnifier application installed from Recommended Software to enable
* Added Magnifier application to Recommended Software
* Added marketing questionnaire as initial Chromium tab
* Version 0.25 of Scratch 2 included - uses external application to access IMU on SenseHAT
* Version 1.0.5 of Scratch 3 included - uses external application to access IMU on SenseHAT
* Version 32.0.0.371 of Flash player included
* Version 1.0.6 of Node-RED included
* Version 6.7.1 of VNC Server included
* Version 6.20.113 of VNC Client included
* Internal audio outputs enabled as separate ALSA devices
* MagPi preinstall removed and replaced with Beginner’s Guide
* MagPi weblink removed from main menu
* Chromium made default application for PDF files
* Common icon loading code for lxpanel plugins used
* Italian translations added
* Initial move of mouse pointer to menu button disabled
* Padding at left of menu button removed
* Focus behaviour changed so that focus moves to desktop if no windows are opened - improves reliability of Orca screen reader
* Bug fix - focus bug in volume plugin
* Bug fix - keyboard repeat interval bug in Mouse & Keyboard Settings
* Bug fix - battery detection bug in battery plugin
* Bug fix - spurious active areas on taskbar when plugins are hidden
* Bug fix - occasional crash in file manager on file selection
* Disk ID is now regenerated on first boot
* Updated udev rules
- Remove unused argon rule
- Add vcsm-cma to video group
- Add pwm to gpio group
* i2cprobe: More flexible I2C/SPI alias mapping
* Raspberry Pi firmware 21e1fe3477ffb708a5736ed61a924fd650031136
* Linux kernel 4.19.118

Raspberry Pi の Download ページを観るとここもアップデートされていました．

Raspberry Pi OS (previously called Raspbian) is our official operating system for all models of the Raspberry Pi.

Raspberry Pi Downloads – Software for the Raspberry Pi

この64bit beta版はRaspberry Pi 3 と 4 で動作するようです．(2 v1.2でも多分動く)

Note, the 64bit OS is only install-able on the Pi 3 and Pi 4 devices

ということでRaspberry Pi 3 なら持ってる!ということでダウンロードしてみました．

$ wget https://downloads.raspberrypi.org/raspios_arm64/images/raspios_arm64-2020-05-28/2020-05-27-raspios-buster-arm64.zip https://downloads.raspberrypi.org/raspios_arm64/images/raspios_arm64-2020-05-28/2020-05-27-raspios-buster-arm64.zip.sha256 https://downloads.raspberrypi.org/raspios_arm64/images/raspios_arm64-2020-05-28/2020-05-27-raspios-buster-arm64.zip.sig
$ sha256sum -c 2020-05-27-raspios-buster-arm64.zip.sha256
2020-05-27-raspios-buster-arm64.zip: OK
$ gpg --verify ./2020-05-27-raspios-buster-arm64.zip.sig
gpg: assuming signed data in './2020-05-27-raspios-buster-arm64.zip'
gpg: Signature made Thu 28 May 2020 01:05:10 PM JST
gpg: using RSA key 54C3DD610D9D1B4AF82A37758738CD6B956F460C
gpg: Good signature from "Raspberry Pi Downloads Signing Key" [expired]
gpg: Note: This key has expired!
Primary key fingerprint: 54C3 DD61 0D9D 1B4A F82A 3775 8738 CD6B 956F 460C

署名の確認をすると期限切れのようです．新しい鍵を貰ってきてインポートして再度署名確認します．(ダウンロードページあたりにリンクして欲しい)

$ wget https://www.raspberrypi.org/raspberrypi_downloads.gpg.key
$ gpg ./raspberrypi_downloads.gpg.key
gpg: WARNING: no command supplied. Trying to guess what you mean ...
pub rsa2048 2017-04-10 [SC] [expires: 2021-04-21]
54C3DD610D9D1B4AF82A37758738CD6B956F460C
uid Raspberry Pi Downloads Signing Key
sub rsa2048 2017-04-10 [E] [expires: 2021-04-21]
$ gpg --import ./raspberrypi_downloads.gpg.key
gpg: key 8738CD6B956F460C: 1 signature not checked due to a missing key
gpg: key 8738CD6B956F460C: "Raspberry Pi Downloads Signing Key" 3 new signatures
gpg: Total number processed: 1
gpg: new signatures: 3
:
$ gpg --verify ./2020-05-27-raspios-buster-arm64.zip.sig
gpg: assuming signed data in './2020-05-27-raspios-buster-arm64.zip'
gpg: Signature made Thu 28 May 2020 01:05:10 PM JST
gpg: using RSA key 54C3DD610D9D1B4AF82A37758738CD6B956F460C
gpg: Good signature from "Raspberry Pi Downloads Signing Key" [unknown]
gpg: WARNING: This key is not certified with a trusted signature!
gpg: There is no indication that the signature belongs to the owner.

とりあえず良さそうです．

sd card等に書き込みます．今回dd で書きましたが，公式のRaspberry Pi Imager を使ったほうがいいかもですね．

Raspberry Pi公式のOS書き込みソフトウェアの Raspberry Pi Imager を少し試す – matoken’s meme

$ time zcat ./2020-05-27-raspios-buster-arm64.zip | pv | sudo dd of=/dev/sdz bs=16M conv=fdatasync
3.46GiB 0:02:34 [22.9MiB/s] [ <=> ]
0+92723 records in
0+92723 records out
3711959040 bytes (3.7 GB, 3.5 GiB) copied, 212.594 s, 17.5 MB/s

real 3m32.613s
user 0m30.584s
sys 2m12.420s
$ sync

これを使って起動してみると普通に起動します．

Raspberry Pi 3 Model B Rev 1.2で試しました

$ cat /proc/device-tree/model ;echo
Raspberry Pi 3 Model B Rev 1.2

起動ログ(dmesg -H)

https://gist.github.com/c05bb8795eec42f0dd0fba551da6ccf5

aarch64 kernelです

$ uname -a
Linux raspberrypi 5.4.42-v8+ #1319 SMP PREEMPT Wed May 20 14:18:56 BST 2020 aarch64 GNU/Linux

パッケージもarm64

$ LC_ALL=C dpkg-architecture --print-set
DEB_BUILD_ARCH=arm64; DEB_BUILD_ARCH_ABI=base; DEB_BUILD_ARCH_BITS=64; DEB_BUILD_ARCH_CPU=arm64; DEB_BUILD_ARCH_ENDIAN=little; DEB_BUILD_ARCH_LIBC=gnu; DEB_BUILD_ARCH_OS=linux;
DEB_BUILD_GNU_CPU=aarch64; DEB_BUILD_GNU_SYSTEM=linux-gnu; DEB_BUILD_GNU_TYPE=aarch64-linux-gnu; DEB_BUILD_MULTIARCH=aarch64-linux-gnu; DEB_HOST_ARCH=arm64; DEB_HOST_ARCH_ABI=ba
se; DEB_HOST_ARCH_BITS=64; DEB_HOST_ARCH_CPU=arm64; DEB_HOST_ARCH_ENDIAN=little; DEB_HOST_ARCH_LIBC=gnu; DEB_HOST_ARCH_OS=linux; DEB_HOST_GNU_CPU=aarch64; DEB_HOST_GNU_SYSTEM=li
nux-gnu; DEB_HOST_GNU_TYPE=aarch64-linux-gnu; DEB_HOST_MULTIARCH=aarch64-linux-gnu; DEB_TARGET_ARCH=arm64; DEB_TARGET_ARCH_ABI=base; DEB_TARGET_ARCH_BITS=64; DEB_TARGET_ARCH_CPU
=arm64; DEB_TARGET_ARCH_ENDIAN=little; DEB_TARGET_ARCH_LIBC=gnu; DEB_TARGET_ARCH_OS=linux; DEB_TARGET_GNU_CPU=aarch64; DEB_TARGET_GNU_SYSTEM=linux-gnu; DEB_TARGET_GNU_TYPE=aarch
64-linux-gnu; DEB_TARGET_MULTIARCH=aarch64-linux-gnu; export DEB_BUILD_ARCH DEB_BUILD_ARCH_ABI DEB_BUILD_ARCH_BITS DEB_BUILD_ARCH_CPU DEB_BUILD_ARCH_ENDIAN DEB_BUILD_ARCH_LIBC D
EB_BUILD_ARCH_OS DEB_BUILD_GNU_CPU DEB_BUILD_GNU_SYSTEM DEB_BUILD_GNU_TYPE DEB_BUILD_MULTIARCH DEB_HOST_ARCH DEB_HOST_ARCH_ABI DEB_HOST_ARCH_BITS DEB_HOST_ARCH_CPU DEB_HOST_ARCH
_ENDIAN DEB_HOST_ARCH_LIBC DEB_HOST_ARCH_OS DEB_HOST_GNU_CPU DEB_HOST_GNU_SYSTEM DEB_HOST_GNU_TYPE DEB_HOST_MULTIARCH DEB_TARGET_ARCH DEB_TARGET_ARCH_ABI DEB_TARGET_ARCH_BITS DE
B_TARGET_ARCH_CPU DEB_TARGET_ARCH_ENDIAN DEB_TARGET_ARCH_LIBC DEB_TARGET_ARCH_OS DEB_TARGET_GNU_CPU DEB_TARGET_GNU_SYSTEM DEB_TARGET_GNU_TYPE DEB_TARGET_MULTIARCH

導入パッケージ数(ヘッダ5行を除いて1303個)

$ dpkg-query -l|wc -l
1308

パッケージリスト(dpkg-query -l)

https://gist.github.com/6215f11e53ee668b04246ecd1d08f3db

ディスク利用量は3GB程

$ df -m
Filesystem 1M-blocks Used Available Use% Mounted on
/dev/root 29938 2840 25832 10% /
devtmpfs 329 0 329 0% /dev
tmpfs 457 0 457 0% /dev/shm
tmpfs 457 1 457 1% /run
tmpfs 5 1 5 1% /run/lock
tmpfs 457 0 457 0% /sys/fs/cgroup
/dev/mmcblk0p1 253 54 200 22% /boot
tmpfs 92 0 92 0% /run/user/1000

有線/無線LAN認識

$ ip a
1: lo: <LOOPBACK,UP,LOWER_UP> mtu 65536 qdisc noqueue state UNKNOWN group default qlen 1000
link/loopback 00:00:00:00:00:00 brd 00:00:00:00:00:00
inet 127.0.0.1/8 scope host lo
valid_lft forever preferred_lft forever
inet6 ::1/128 scope host
valid_lft forever preferred_lft forever
2: eth0: <BROADCAST,MULTICAST,UP,LOWER_UP> mtu 1500 qdisc pfifo_fast state UP group default qlen 1000
link/ether b8:27:eb:46:60:13 brd ff:ff:ff:ff:ff:ff
inet 192.168.1.182/24 brd 192.168.1.255 scope global dynamic noprefixroute eth0
valid_lft 258810sec preferred_lft 226410sec
inet6 fe80::2979:45f7:e3bf:a4d9/64 scope link
valid_lft forever preferred_lft forever
3: wlan0: <NO-CARRIER,BROADCAST,MULTICAST,UP> mtu 1500 qdisc pfifo_fast state DOWN group default qlen 1000
link/ether b8:27:eb:13:35:46 brd ff:ff:ff:ff:ff:ff

Bluetooth

$ bluetoothctl
Agent registered
[bluetooth]# list
Controller B8:27:EB:EC:CA:B9 raspberrypi [default]
[bluetooth]# quit

module一覧(lsmod)

https://gist.github.com/f345e65d456487804c6373f1f647de18

raspi-config等もある

Raspberry Pi 3 Model B Rev 1.2

┌─────────┤ Raspberry Pi Software Configuration Tool (raspi-config) ├──────────┐
│ │
│ 1 Change User Password Change password for the 'pi' user │
│ 2 Network Options Configure network settings │
│ 3 Boot Options Configure options for start-up │
│ 4 Localisation Options Set up language and regional settings to match your │
│ 5 Interfacing Options Configure connections to peripherals │
│ 6 Overclock Configure overclocking for your Pi │
│ 7 Advanced Options Configure advanced settings │
│ 8 Update Update this tool to the latest version │
│ 9 About raspi-config Information about this configuration tool │
│ │
│ │
│ │
│ │
│ <Select> <Finish> │
│ │
└──────────────────────────────────────────────────────────────────────────────┘

screenfetch(Raspbian logoじゃなくDebian logoになった)

pfetch

$ pfetch/pfetch
_____ pi@raspberrypi
/ __ \ os Debian GNU/Linux 10 (buster)
| / | host Raspberry Pi 3 Model B Rev 1.2
| \___- kernel 5.4.42-v8+
-_ uptime 52m
--_ pkgs 1313
memory 203M / 913M

て感じで試し始めました．
しばらく使ってみようかと思います．

あ，余ったRaspberry Pi があったらください :p

もし問題が見つかったら以下を確認して報告すると直るかもしれません．

Issues · raspberrypi/Raspberry-Pi-OS-64bit