ところで vmlinux や vmlinuz の vm は Virtual Memory ですね。Unix は元々 /unix として kernel を置きがちだったが例えば最初期の Unix ですら hard disk(PDP-11 の RK series)対応だと rkunix って名前で / に置いたり,モジュラスでなかったのでコンフィグで名前変えて / に置いてた。で,後々 3BSD で VAX の 仮想記憶に対応して kernel も vmunix というファイル名になったのでした。
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.