#!/bin/bash

ROOT_DIR=$(readlink -f $(dirname $(readlink -f $0))/..)

. $ROOT_DIR/config/setup.conf



cd $ROOT_DIR/build
if [ ! -f linux-${kernel_version}.tar.bz2 ]; then
    echo "download kernel"
    wget -c "$kernel_url"
fi

if [ ! -d linux-${kernel_version} ]; then
  echo "unpack kernel"
  tar xjf linux-${kernel_version}.tar.bz2
fi

cd linux-${kernel_version}
cp ${ROOT_DIR}/config/kernel.config ./.config

linux32 make oldconfig
linux32 make -j 4 

cp arch/x86/boot/bzImage ../kernel-preboot-latest