Re4son's Kernel Builder for Raspbery Pi

Overview Forums Sticky Finger’s Kali-Pi Re4son's Kernel Builder for Raspbery Pi

Viewing 0 reply threads
  • Author
    • #1460

      I’ve been working on a 4.4 kernel for the raspberry pi and got annoyed with doing things manually. The adafruit Kernel-o-Matic is great but a bit buggy and doesn’t support the latest kernels, firmware and toolchains.
      So here is it:

      Re4son’s Kernel Builder for Raspbery Pi
      V 1.0.1
      Created for kernel version 4.4 and newer
      raspberry toolchain published 17-May-2016 and later
      raspberry firmware released 4-May-2016 and later

      Just fire up you’re favorite linux machine and enter:

      cd /usr/local/src/
      git clone kernel-builder
      cd kernel-builder

      If running on a 64bit machine, install additional 32bit packages required by the toolchain:

      sudo apt-get install lib32z1 lib32ncurses5 libc6-i386 lib32stdc++6

      Setup the kernel-builder:


      edit and set the variable KERNEL-BUILDER_DIR= to the kernel builder directory.
      Default is “/usr/local/src/kernel-builder”.

      Start building with default settings:

      sudo re4sonbuild

      Or try:

      sudo re4sonbuild -h
      usage: re4sonbuild [options]
       This will build the Raspberry Pi Kernel.
          -h        Show this message
          -r        The remote github kernel repo to clone in user/repo format
                    Default: raspberrypi/linux
          -b        The git branch to use
                    Default: Default git branch of repo
          -1        The config file to use when compiling for Raspi v1
                    Default: arch/arm/configs/bcmrpi_defconfig
          -2        The config file to use when compiling for Raspi v2
                    Default: arch/arm/configs/bcm2709_defconfig

      Have fun playing with it,

Viewing 0 reply threads
  • You must be logged in to reply to this topic.