1 # Fix grub-pc on Virtualbox with Ubuntu
2 export DEBIAN_FRONTEND=noninteractive
4 # Standard update + upgrade dance
8 # Fix the silly notion that /bin/sh should point to dash by pointing it to bash
10 sudo update-alternatives --install /bin/sh sh /bin/bash 100
13 apt-get install -y build-essential autoconf automake bison libssl-dev ccache libtool git dkms debhelper emacs
16 # apt-get install -y qemu-kvm libvirt-bin ubuntu-vm-builder bridge-utils
19 apt-get install -y linux-image-extra-`uname -r`
21 # Install jdk and maven
22 apt-get install -y openjdk-7-jdk
23 # $$$ comment out for the moment
24 # apt-get install -y --force-yes maven3
26 # Install debian packaging tools
27 apt-get install -y debhelper dkms
29 # Setup for hugepages using upstart so it persists across reboots
30 echo "vm.nr_hugepages=1024" >> /etc/sysctl.d/20-hugepages.conf
33 cat << EOF > /etc/init/hugepages.conf
34 start on runlevel [2345]
39 mkdir -p /run/hugepages/kvm || true
40 rm -f /run/hugepages/kvm/* || true
41 rm -f /dev/shm/* || true
42 mount -t hugetlbfs nodev /run/hugepages/kvm
46 # Make sure we run that hugepages.conf right now
51 sudo -u vagrant mkdir git
54 # You will need to alter this line to reflect reality.
55 sudo -H -u vagrant git clone /vpp
59 if [ -d build-root ]; then
62 sudo -H -u vagrant ./bootstrap.sh
65 sudo -H -u vagrant make PLATFORM=vpp TAG=vpp_debug install-deb
67 # Install debian packages