On 7 Jun 2016, at 10:07 pm, Kosyrev Serge <skosyrev@ptsecurity.com> wrote:

In particular, we want you to help rewrite our core application in
Haskell, which in turn requires porting GHC runtime to run on bare metal.


Galois has already done work like this, which might help.

https://github.com/GaloisInc/HaLVM

Ben.