#!/bin/bash

KSRC=${PWD}
KLIB=${PWD}/${IMAGE_TOP}/
INSTALL_DATA="install -m 644 -o root -g root"
INSTALL_EXEC="install -m 755 -o root -g root"

mkdir -p ${PWD}/${IMAGE_TOP}/boot/
cp -L debian/abi-* ${PWD}/${IMAGE_TOP}/boot/
