Building kernel and replacing existing kernel

Overview

1. Create a clone of Robert Nelson's (Official BBB Kernel Maintenance) ti-linux repos and checkout the appropriate kernel branch.
2. Compile kernel using either build_kernel (builds kernel files) or build_deb (builds kernel files as debian packages) scripts.
3. Live boot the BBB with a functioning debian image.
4. Copy the kernel files or debian packages (generated in step 2) on the live booted BBB.
5. Install the kernel files on to the SD card image (used for livebooting).
6. Flash the BBB with the modified image on the SD card.

Building Kernel

These steps should be done on the host PC and not the BBB as there are large file downloads and resource intense compilations.

1. Git clone the Robert Nelson's ti-linux-kernel-dev repo: git clone https://github.com/RobertCNelson/ti-linux-kernel-dev.git
2. Git checkout the appropriate kernel branch. For these instructions, the 4.14 RT kernel will be used. git checkout ti-linux-rt-4.14.y
3. The working folder should contain a build_kernel.sh and `build_deb.sh' script file. Either can be used to build a kernel. The latter is creates packages that are easier to deploy in a debian environment.
4. Run either of the scripts. It may throw an error stating that some dependencies need to be installed. Install them as prompted. Once you have the dependencies, the kernel compilation will start.
5. A kernel configuration prompt will pop up. It can be left as default. Or you can load the kernel configuration from a properly function BBB. More research needs to be done into this.
6. The compilation will resume. On a laptop (i5-8250U CPU, 8GB RAM) running a VM (2 cores, 2 GB RAM), it takes approximately an hour.
7. Once the compilation is complete, there will be sub folder called "deploy".
   • if