Sunday, February 23, 2014

[OSDI] Configuring the Kernel

Configuration & Run

  • make config: takes a long time
    • make menuconfig: ncurses-based graphical utility
    • make gconfig: gtk+-based graphical utility
    • make defconfig: default configurations based on my architecture
  • make oldconfig: compress the configuration file .config /proc/config.gz
  • make