#!/bin/bash -ex

BOOT="${IMAGE_TOP}/boot/"

install -d -m755 "$BOOT"
install -m644 debian/abi-* "$BOOT"
