ONKYO TW217A5にDebianをインストールしていて気付いたのだけど、どうも内蔵SSDでなくても側面に差したSDメモリカードからもブートできるようなのだ。BIOSメニューのブートシーケンスにはSSDしか出てこないので、最初はSSDからしかブートできない機種だと思っていた。しかし、たまたまSDメモリカードを差したままBIOSメニューに入ったら、ブートシーケンスにSDメモリカードが現れた。この分だと、USB端子にUSBメモリやUSB CDドライブを差すとそこからもブートできそうだ。なかなか便利じゃないか。