R4のサイトで最新版のカーネルをダウンロードしたのですが普通、圧縮された形でダウンロードされるはずなのですがダウンロードするとファイルのアイコンになっていて解凍できる状態じゃあありません。
これはR4カーネルのダウンロードの方法が悪いんでしょうか?
いろいろ調べた結果○○○○○.rarと言う拡張子になっており圧縮形式に対応した解凍ソフトが無いのではないかという結論に達しました。
rar形式の解凍にはWinRARを活用したらすんなりできました。