Create patches and .deb packages for the custom S2E kernel

[stefanbucur]

No description provided.

[stefanbucur]

I tried creating a Debian 8 image for Chef, but I keep getting errors when installing the generated dpkg packages. I filed a bug report with Debian at https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=794849

In the mean time, I'll try generating a Debian 7 image.

[stefanbucur]

It does indeed look like the problem doesn't occur on Debian 7.8. We'll go with this version for our Chef image at the time being.

[stefanbucur]

Here's a checklist with what needs to be done:

• Create a s2e-base VM that contains only the bare necessities (the build-essential package, the Emacs editor, and Git)
• Create a chef-base VM, based on s2e-base, adding the custom S2E kernel and interpreters for Python, Lua, and JavaScript.
• Write down the recipe for creating these VMs
• Export the VMs and upload them somewhere on the Internet

[stefanbucur]

Regarding Debian 8, it looks like Debian 8.1's current os-prober package handles incorrectly the extended partition holding the swap, resulting in disk corruption. As a workaround, I'll make sure the VMs we create use primary partitions for everything.