Linux kernel

Grab a old kernel .config and run make oldconfig or preconfigure a new minimal config by running make defconfig.

A non-exhaustive list of options that must be included as built-in in the target kernel:

• EFI stub support

Continue to customize anything you need for the machine with:

make menuconfig

Compile the kernel

You can examine the number of cores available with the nproc command.

To build the kernel with all available cores run:

make -j$(nproc)

The kernel will be created at ./arch/x86/boot/bzImage.

You will typically want to copy the new kernel to /boot/EFI/ironforge/bzImage.efi if you upgrade it or are doing a fresh installation.

Install the kernel modules

If you are doing a fresh install you want to target /mnt where the OS is being installed. If you are already inside Ironforge and want to upgrade the modules you can drop the INSTALL_MOD_PATH and just make the modules_install target.

make INSTALL_MOD_PATH=/mnt modules_install