Aarch64 アーキテクチャのノートPC

小野寛生です。

Arm なノートPCが欲しい（なんとなくです）と思って、以前 Lenovo Yoga C630 を買ったのですが、現状 *BSD ではこんな感じです。

FreeBSD 15 (2025/06上旬): loader は動く、kernel が動かない
NetBSD 10.1: loader は動く、kernel が動かない
OpenBSD 7.7: loader は動く、kernel も起動するがあるところで画面が崩れて reboot する

（なお、Linux は dtsファイルが提供されているくらいですし、たぶん動きます）

けっこう古いマシンですし、さすがにあきらめるべきかなと（自分で kernel をいじるのも以前ちょっと試したのですが、駄目でした）思っているのですが、
どなたか Aarch64 な PC で FreeBSD が動いているよという方がいらっしゃいましたら、メーカーと機種名を教えていただけないでしょうか。
ほどほどに古くて中古がリーズナブルな価格で手に入るとうれしいです。

Pinetab2 で FreeBSD を動かした人がいるというのは mastodon
方面でみかけまして、それも頑張ってみますが、もうちょっと堅牢なノートPCがあるとうれしいな、と。

ではでは。