stefanbucur / linux-s2e

Linux kernel instrumented for S2E support
Other
1 stars 0 forks source link

Linux build error #2

Open riyadparvez opened 9 years ago

riyadparvez commented 9 years ago

I've tried to build using this script: https://github.com/stefanbucur/linux-s2e/blob/master/s2e/build.sh The following is the error message I'm getting:

Exported revision 22469.

stefanbucur commented 9 years ago

@riyadparvez This script was designed to run in a 32-bit Debootstrap environment for Debian 7 (Wheezy) under Ubuntu. Are you running it in this environment?

riyadparvez commented 9 years ago

@stefanbucur Thanks! I didn't realize it has to be run from chroot.

Recent 3.x kernels can be built without chroot and deb packaged without chroot or Debootstrap. Is there any other reason you prefer Dbootstrap?

stefanbucur commented 9 years ago

I used Debootstrap as I was not able to otherwise build the 32-bit version of the Debian kernel I was interested in on my 64-bit machine. The required 32-bit packages would conflict in the package manager with the 64-bit versions, so I resorted to Debootstrap for an isolated 32-bit package environment.