search

remusmp / rpi-rt-kernel

56 stars 34 forks source link

Allow user to set Raspberry Pi OS image #11

Closed alangibson closed 1 year ago

alangibson commented 1 year ago

Allow user to set Raspberry Pi OS image. For example, 

make RASPIOS_IMAGE_NAME=raspios_full_arm64