完璧に拘る場合、まずBIOS/UEFIあたりのかなり低レイヤーのファームウェアを書き換えられるマシンを選定する必要があるんだよなぁ…、さらにどうやって書き換えるかという問題もつきまとう
@tSU_RooT チップを剥いで SPI で書き込めば大概書き換えられるよ
@orumin 書き込む側のマシンもフリーな奴が動いてないと駄目なのではという議論を過去に見た(FSFで認証取ろうとしたら問題になったらしい)、今の所よさそうなのはBeagleBone GreenでGPU使わなければDebianがそのまま動くのでよさそうらしい