恥ずかしながら、最近までこの事を知らかった。
なんとかBIOSで起動させようとファンクションキーを連打していたのだがうまく行かずに悩んでいた。
もっともBIOSが必要だったのは、USBメモリ経由でWindows10をクリーンインストールしたかったためで、起動ドライブの変更を期待したものだった。
ところがWindows10では、回復オプションを選ぶことで簡単にUSBメモリでのインストール開始ができたのであった。
この記事ではセーフモードでの起動を目的としたものだが、この回復オプションのメニューから起動ドライブを選択できるのだ。
BIOSで起動しなくても大丈夫である。