arch aarch64 targets armv7l:aarch64 armv7hl:aarch64
+prefix /.linux-rpi
+
arm64-rpi4-linux-kernel
+ post "cp -a /.linux-rpi/boot/* /boot/"
+ post "cp -a /.linux-rpi/usr/share/licenses/* /usr/share/licenses/"
+ post "rm -rf /.linux-rpi"
+/
arm64-rpi4-linux-kernel-modules
+ post "cp -a /.linux-rpi/lib/modules/* /lib/modules/"
+ post "rm -rf /.linux-rpi"
+/
arm64-rpi4-rt-linux-kernel
- post "mv /boot/Image_rt /boot/Image"
+ post "cp -a /.linux-rpi/boot/* /boot/"
+ post "cp -a /.linux-rpi/usr/share/licenses/* /usr/share/licenses/"
+ post "rm -rf /.linux-rpi"
+ post "mv /boot/Image_rt /boot/Image"
+/
arm64-rpi4-rt-linux-kernel-modules
+ post "cp -a /.linux-rpi/lib/modules/* /lib/modules/"
+ post "rm -rf /.linux-rpi"
+/