UTM MacOS Silicon: How to compile Linux Kernel on a Debian Guest
C. BinKadal --- Sendirian, Berhad

Debian Packages

Download Latest STABLE Kernel

# START =============================================================

STABLE=$(wget -O - -o /dev/null | awk '/stable/ {print $NF; exit}')
MAJOR=$(echo $STABLE | cut -d. -f1)

# ===================================================================
# Download the latest stable kernel tarball
wget -c $KURL

# ===================================================================
# Download  the signature
wget -c $PURL

# ===================================================================
# Locate and import the PGP keys for verification
gpg --locate-keys

Sign Key (optional)

gpg --sign-key

Uncompress the file and verify

# ===================================================================
# Uncompress the kernel tarball
unxz $KERNEL

# Verify the tarball signature
gpg --verify $PGP $TARBALL

Extract TAR file

# ===================================================================
# Extract the kernel tarball
tar xf $TARBALL

# ===================================================================
# Enter the kernel source directory
cd linux-$STABLE

Overkilled Cleaning Habit

Once in a while, someone will ask about why not “make distclean,” or “make mrproper,” or “make clean.” Ok, this is the way!

make distclean; make mrproper; make clean;

ARM64 Option 1: Reusing “.config” files

yes "" | make oldconfig

ARM64 OPTION 2: A “.config” file from scratch

  • If OPTION 1 failed, consider making a “.config” file from scratch with:
cp arch/arm64/configs/defconfig .
yes "" | make oldconfig

make menuconfig

E.g., for cbkadal

General setup  --->
  (-cbkadal-10) Local version - append to kernel release
  (cbkadal) Default hostname
  [*]   Support initial ramdisk/ramfs compressed using XZ
  <*> Kernel .config support
  [*] Enable access to .config through /proc/config.gz
  <*> Enable kernel headers through /sys/kernel/kheaders.tar.xz
Boot options  --->
  [*] UEFI runtime support
File systems  --->
  <*> FUSE (Filesystem in Userspace) support
  <*>   Character device in Userspace support
  <*>   Virtio Filesystem 
  [*]   FUSE passthrough operations support
Kernel hacking  --->  
  printk and dmesg option --->
    [*] Enable dynamic printk() support
  Compile-time checks and compiler options  --->
    [*] Install uapi headers to usr/include

Compile (make)

time make

  • FYI Compile Time:
    • (Linux) Intel(R) Core(TM) i5-9400F CPU @ 2.90GHz
      • real 3m5.825s
      • user 14m51.339s
      • sys 1m59.721s


# USER: ROOT ============
# Install the modules
sudo make modules_install

# Install the kernel
sudo make install

# Install the headers
sudo make headers_install INSTALL_HDR_PATH=/usr


You need to keep some parts of the Linux kernel source. You can delete the rest.

make clean
rm -rf arch/{alpha, arc, [c-x]*} block/ certs/ crypto/ Documentation/
rm -rf drivers/ fs/ init/ io_uring/ ipc/ kernel/ lib/ lib/
rm -rf mm/ net/ rust/ samples/ security/ sound/ virt/ usr/

Linux Firmware

cp -r i915/ /lib/firmware/
cp -r tigon/ /lib/firmware/
cp -r e100/ /lib/firmware/
cp -r rtl_nic/ /lib/firmware/

Old Modules

  • You have to delete old modules (/lib/modules) and old config (/boot/) files manually. Do not forget to “update-grub”.
  • Visit (ROOT):
cd /lib/modules/
ls -al
cd /boot/
ls -al

Table of Content

© 2021-2024 --- C. BinKadal --- About --- Revision: 0176--13-Jun-2024.