search

guysoft / RealtimePi

An out-of-the-box raspebrrypi/raspbian distro with a realtime kernel
GNU General Public License v3.0
164 stars 25 forks source link

Remove kernel sources #2

Closed guysoft closed 7 years ago

guysoft commented 7 years ago

Kernel sources are bloating the image, make a script that downloads and patches the sources instead.

guysoft commented 7 years ago

fixed by https://github.com/guysoft/CustomPiOS/commit/e237a0aca6c9cf94b8b9ee18e6099b8a7180ac75