packaging/baselibs.conf

   1 arch aarch64 targets armv7l:aarch64 armv7hl:aarch64
   2
   3 prefix /.linux-rpi
   4
   5 arm64-rpi4-linux-kernel
   6   post "cp -a  /.linux-rpi/boot/* /boot/"
   7   post "cp -a  /.linux-rpi/usr/share/licenses/* /usr/share/licenses/"
   8   post "rm -rf /.linux-rpi"
   9   +/
  10
  11 arm64-rpi4-linux-kernel-modules
  12   post "cp -a  /.linux-rpi/lib/modules/* /lib/modules/"
  13   post "rm -rf /.linux-rpi"
  14   +/
  15
  16 arm64-rpi4-rt-linux-kernel
  17   post "cp -a  /.linux-rpi/boot/* /boot/"
  18   post "cp -a  /.linux-rpi/usr/share/licenses/* /usr/share/licenses/"
  19   post "rm -rf /.linux-rpi"
  20   post "mv     /boot/Image_rt /boot/Image"
  21   +/
  22
  23 arm64-rpi4-rt-linux-kernel-modules
  24   post "cp -a  /.linux-rpi/lib/modules/* /lib/modules/"
  25   post "rm -rf /.linux-rpi"
  26   +/