GaloisInc / ec2-unikernel

Tool for uploading unikernels into EC2
BSD 3-Clause "New" or "Revised" License
77 stars 6 forks source link

Support 32-bit Unikernels #1

Open acw opened 8 years ago

acw commented 8 years ago

This should be fairly simple: create a new option for taking in the architecture, and then wire that to the few places that ask for it. You should be able to find all the latter by searching for "x86_64" and "X86_64" in Main.hs.