タグ

カーネルとBIOSに関するbaboocon19820419のブックマーク (2)

  • What's UEFI

    UEFI Advent Calender一日目,oruminです. 初っ端なのでまずUEFIとは何かについて書こうと思います. ・UEFIとは? UEFIとは,ファームウェアの一種です. 一般的なPCはBIOSからOSを起動している事はご存知だと思われますが, 実はBIOSは最早過去の遺物となりました. BIOSの代替として2000年頃からIntelが開発していたEFIは, 多くの企業とコンソーシアムを立ち上げ,現在UEFIとして規格が策定されています. 2010年頃からはIntelのマザーボードを皮切りとして一般向けにも採用され, 現在市場にあるPCのほぼ全てがUEFIでしょう. BIOSの設定画面だと思っているそれは最早UEFIです ・BIOSとの違いは? 大きな違いはデファクトスタンダードとしてなんとなしに採用されてきたBIOSと違い, 多くの企業のコンセサスの元策定された規格が存在

  • vmlinux - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "Vmlinux" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2020年12月) Linuxカーネルのブートならびに伸長プロセス Linuxシステムにおいて、vmlinuxとは、内部にLinuxカーネル体を包含する静的リンクされた実行ファイルである。ELF、COFF 、a.outのような実行可能バイナリ形式に準じた形式が利用されるが、通常の実行可能バイナリと異なりカーネル(のexecシステムコール)が対応している形式ではなく、ブートローダーが対応している形式でなければならない。vmlinuxファイルはカーネルデバッグ、カーネルのシンボ

    vmlinux - Wikipedia
  • 1