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

How to build only the v6 flavored image #6

Closed robiwano closed 6 years ago

robiwano commented 6 years ago

The doc says it take ~12hours to build both kernels, but I need only the v6. I probably missed the docs on how to instruct build to build only for v6 ?

guysoft commented 6 years ago

In the config file. Or create your config.local file set

KERNEL_TYPE=v6

The default setting is in: https://github.com/guysoft/CustomPiOS/blob/CustomPiOS/src/modules/kernel/config

Its not well documented, i admit.

We could add it to the README.

robiwano commented 6 years ago

Thank you, great!! Looking at the config, it should suffice doing an "export KERNEL_TYPE=v6" before building ?

guysoft commented 6 years ago

No, edit it in the config file like I wrote above. Your environment may change when using vagrant and such.

guysoft commented 6 years ago

Ok, closing, also fixed the bug reported: https://github.com/guysoft/CustomPiOS/issues/17