diff options
| -rw-r--r-- | packages/linux/linux.inc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/packages/linux/linux.inc b/packages/linux/linux.inc index 679f73a7f4..a6bffe728a 100644 --- a/packages/linux/linux.inc +++ b/packages/linux/linux.inc @@ -142,3 +142,12 @@ do_devicetree_image() { } addtask devicetree_image after do_deploy before do_package + +pkg_postinst_kernel-devicetree () { + cd /${KERNEL_IMAGEDEST}; update-alternatives --install /${KERNEL_IMAGEDEST}/devicetree devicetree devicetree-${KERNEL_VERSION} ${KERNEL_PRIORITY} || true +} + +pkg_postrm_kernel-devicetree () { + cd /${KERNEL_IMAGEDEST}; update-alternatives --remove devicetree devicetree-${KERNEL_VERSION} || true +} + |