Real-Time Kernel for BBB

This section shows how to install a pre-compiled RT kernel to your BBB.

1. Get the Debian kernel packages from Capstone Project - LOWER LIMB EXOSKELETON FOR GAIT ASSISTANCE\Embedded Team\BBB Kernels of the Capstone Google Drive.

   Note: You may need a University of Melbourne email ID.

2. Live boot the BBB using a functioning BBB Debian image on SD card. For this project, we used a Debian stretch image obtained from the official BBB website.

3. Copy the .deb files from the 1st step on to the BBB.
4. From terminal on BBB, navigate to the folder where you copied the .deb file. Install the three packages: sudo dpkg -i <package name>.deb
5. The SD card now has an image with the new kernel. You can now flash this image.