🚨
Raspberry Pi PicoでLチカをZigでやってみた(そしてあまりのバイナリサイズの小ささに驚きを隠せない)
はじめに
最近Raspberry Pi Picoを買いました。
そこで、ZigでLチカする手順を書いておきます。
PCとラズパイを接続する
ラズパイ上にBOOTSELがついているので、これを押しながらUSB接続します。
すると、ストレージとして認識されます。
ここにuf2ファイルをコピーすることで、プログラムを実行することができます。
MicroZigを使う
MicroZigは組み込みにZigを使用するための仕組みを提供しています。
このプロジェクトはZigEmbeddedGroupというコミュニティによってメンテ、開発が行われています。
今回はこのコミュニティが提供している以下の二つのレポジトリを使います。
- ZigEmbeddedGroup/rp2040 - ラズパイPicoに最適化されたMicroZig
- ZigEmbeddedGroup/uf2 - elfからUF2ファイルを生成してくれる
ビルドしよう
今回は上のレポジトリを含んだサンプルレポジトリを作成しました。
コードも以下に載せておきます。とてもシンプルです。
const microzig = @import("microzig");
const rp2040 = microzig.hal;
const gpio = rp2040.gpio;
const time = rp2040.time;
const led = 25;
pub fn main() void {
gpio.reset();
gpio.setFunction(led, .sio);
gpio.setDir(led, .out);
while (true) {
gpio.toggle(led);
time.sleepMs(1000);
}
}
上のリポジトリをクローンしてbuildすると、zig-out/binディレクトリにuf2ファイルが生成されます。
これを先ほど紹介したマウントされたラズパイのディレクトリにコピーすると動きます。
uf2ファイルをコピーする
チカチカ
バイナリサイズ
最も驚愕したのは生成されるバイナリサイズの大きさです。
参考までに、いろいろなLチカと比較してみました。
| 言語 | ビルドコマンド | サイズ |
|---|---|---|
| Zig | zig build | 32KB |
| Zig | zig build -Drelease-small=true | 3.2KB |
| Zig | zig build -Drelease-safe=true | 5.1KB |
| TinyGo[1] | tinygo build -target pico -o main.uf2 main.go | 17KB |
| C [2] | mkdir build && cd build && cmake .. && make | 26KB |
| MicroPython [3] | -- | 614KB + 1KB |
TinyGoでの実装
package main
import (
"machine"
"time"
)
func main() {
led := machine.LED
led.Configure(machine.PinConfig{
Mode: machine.PinOutput,
})
for {
led.Low()
time.Sleep(time.Second)
led.High()
time.Sleep(time.Second)
}
}
MicroPythonでの実装
import machine
import utime
led = machine.Pin(25, machine.Pin.OUT)
while True:
led.value(1)
utime.sleep(1)
led.value(0)
utime.sleep(1)
以前からZigで吐き出されるバイナリがとても小さいと一部界隈では話題になっていましたが、今回改めてその小ささに驚きました。
終わりに
Zigは組み込みにもいい感じに使えそうです。
今後の発展にも期待ですね。
Discussion