anchor.diff:  #    mkdir x86 && tar -C x86 -xjf VBoxGuestAdditions-x86.tar.bz2 && \
   #    rm VBoxGuestAdditions*.tar.bz2 && \
   #    \
  -#    KERN_DIR=$LINUX_KERNEL make -C amd64/src/vboxguest-${VBOX_VERSION} && \
  +#    KERN_DIR=$LINUX_KERNEL_SOURCE make -C amd64/src/vboxguest-${VBOX_VERSION} && \
   #    cp amd64/src/vboxguest-${VBOX_VERSION}/*.ko $ROOTFS/lib/modules/$KERNEL_VERSION-$LINUX_BRAND/ && \
   #    \
   #    mkdir -p $ROOTFS/sbin && \
  
positive.code:     rm -rf /tmp/kheaders
  
  # Prepare the ISO directory with the kernel
  RUN cp -v $LINUX_KERNEL/arch/x86_64/boot/bzImage /tmp/iso/boot/vmlinuz64
  
  # Download the rootfs, don't unpack it though:
  RUN curl -L -o /tcl_rootfs.gz $TCL_REPO_BASE/release/distribution_files/rootfs64.gz
  
negative.code: # ENV KERNEL_VERSION  3.18.12
  ENV KERNEL_VERSION  3.19.6
  
  ENV LINUX_KERNEL_SOURCE /usr/src/linux
  ENV LINUX_BRAND  greenbox
  
  ENV AUFS_VER        aufs3
  