2006-11-12 23:30:03 +00:00
|
|
|
source $stdenv/setup
|
|
|
|
|
|
|
|
ensureDir $out
|
|
|
|
|
|
|
|
ln -s $kernel $out/kernel
|
|
|
|
ln -s $grub $out/grub
|
2006-11-27 13:59:50 +00:00
|
|
|
ln -s $bootStage2 $out/init
|
|
|
|
ln -s $initrd $out/initrd
|
2006-12-10 00:04:58 +00:00
|
|
|
ln -s $activateConfiguration $out/activate
|
2006-12-10 22:29:44 +00:00
|
|
|
ln -s $etc/etc $out/etc
|
2007-03-20 13:01:53 +00:00
|
|
|
ln -s $systemPath $out/sw
|
2007-09-27 13:24:05 +01:00
|
|
|
ln -s $upstart $out/upstart
|
2006-12-10 22:29:44 +00:00
|
|
|
|
2006-12-11 17:36:57 +00:00
|
|
|
echo "$kernelParams" > $out/kernel-params
|
2007-06-23 17:09:05 +01:00
|
|
|
echo "$configurationName" > $out/configuration-name
|
2006-11-12 23:30:03 +00:00
|
|
|
|
2007-12-20 11:36:30 +00:00
|
|
|
mkdir $out/fine-tune
|
|
|
|
ChildCount=0;
|
|
|
|
for i in $children; do
|
|
|
|
ChildCount=$(( ChildCount + 1 ));
|
|
|
|
ln -s $i $out/fine-tune/child-$ChildCount;
|
|
|
|
done
|
|
|
|
|
2006-11-12 23:30:03 +00:00
|
|
|
cat > $out/menu.lst << GRUBEND
|
2006-12-11 17:36:57 +00:00
|
|
|
kernel $kernel init=$bootStage2 $kernelParams
|
2006-11-24 00:04:29 +00:00
|
|
|
initrd $initrd
|
2006-11-12 23:30:03 +00:00
|
|
|
GRUBEND
|
|
|
|
|
|
|
|
ensureDir $out/bin
|
2006-12-10 22:29:44 +00:00
|
|
|
substituteAll $switchToConfiguration $out/bin/switch-to-configuration
|
2006-11-12 23:30:03 +00:00
|
|
|
chmod +x $out/bin/switch-to-configuration
|