@Vengineerの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった
先週、Raspberry Pi Compute Module 4がアナウンスされましたね。
Announcing Raspberry Pi Compute Module 4, available from $25: the power of Raspberry Pi 4 in a compact form factor for deeply embedded applications https://t.co/ylcTl0rGe0 pic.twitter.com/yGrZtsIDXI
— Raspberry Pi (@Raspberry_Pi) 2020年10月19日
Wireless の有無、RAMサイズ、eMMCサイズによってお値段違う。
ざっくり、
Wirelessなし、1GBRAM/8GB-eMMCで30ドル
Wireless有+5ドル, RAM8GB+45ドル,eMMC32GB+10ドル
= 30 + 5 + 45 + 10 = 90ドル
感じ。
コネクタには、PCIe Gen2 x1 が出ているようで、下記のブログには、Compute Module 4 IO Boardなるものもあって、しっかり、PCIe x1 のコネクタもついていた。
ということは、昨日紹介した、Google EdgeTPU Accelerator Module を PCIe Gen2 x1経由で接続できるということだ。
EdgeTPUが載ったI/Oボードがもう出てきた。ただしお値段180ドルなので、親分より2倍以上高い。。あまり意味ないな。。。
— Vengineer@ (@Vengineer) 2020年10月22日
ちなみに、RasPi って、最初はGPUがブートして、いろいろと初期設定してからCPUをブートするんだよね。下記のツイートでRasPi 3はCortex-A72と書いたけど、RasPi 3はCortex-A53。Cortex-A72はRasPi 4ね。
RasPi 3は、
— Vengineer@ (@Vengineer) 2020年10月19日
最初にGPUがブートして、
Cortex-A72を起動するのよね。
RasPi 4も同じだと思います。
雑誌インターフェイス2016年11月号に書いてありました。https://t.co/H37jCrz5nw
RasPi4 も RasPi 3と同じブートシーケンスだと思ったが、GPUが2番目に起動するbootcode.binではなく、onboardEPROMにあるコードに変わったようですね。そのEPROMへのアップデートの手順もチャンと載っていますね。
RasPi 4では、ブートシーケンス変わっていますね。
— Vengineer@ (@Vengineer) 2020年10月19日
start.elfの後は、bootcode.binではなく、onboardEPROM使うようですね。https://t.co/JOZ1Cn8CwE
RasPiのブート関係のドキュメントを読み直してみたら、いろいろと更新されていた。
例えば、これ。初期のRasPi 2には BCM2836が載っていて、CPUコアはCorex-A7。なので、32ビットLinuxのみ利用可能。その後のRasPi 3では BCM2837 になり、CPUコアはCortex-A53なので 64ビットLinuxで利用可能。RasPi 2も BCM2837に更新。
RasPi 4では、BCM2711になり、CPUコアが Cortex-A53からCortex-72になり高速になった。
初期のRasPi 2には、BCM2836が載っているので、64ビット Linuxは動かない。
— Vengineer@ (@Vengineer) 2020年10月20日
RasPi2/3 : BCM2837, RasPi4 : BCM2711
それに、これ。armstub 。これも興味深い。
armstub のソースコードhttps://t.co/OR1w9vIUHb
— Vengineer@ (@Vengineer) 2020年10月20日
RasPi 4はの32ビットLinuxでは、ドキュメントによると、
- Large Physical Address Extension (LPAE)
により、8GBメモリをサポートしているっぽい。ただし各プロセスは32ビットなので4GBが最大だよね。
それから、
ssh or ssh.txt
When this file is present, SSH will be enabled on boot. The contents don't matter, it can be empty. SSH is otherwise disabled by default.
とかあって、ブート時から ssh ができちゃうんだね。
64ビットLinuxでは、省エネのシステムがPSCIというのがお決まりですが、RasPi の 64ビットLinuxでは PSCI をサポートしていません。Linux Kernel の dts (bcm2711.dts)を見ると、PSCIのエントリがないんですよね。。
enable-method = "spin-table";