
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 7 Jun 2016, at 10:07 pm, Kosyrev Serge <<a href="mailto:skosyrev@ptsecurity.com" class="">skosyrev@ptsecurity.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">In particular, we want you to help rewrite our core application in<br class="">Haskell, which in turn requires porting GHC runtime to run on bare metal.<br class=""><br class=""></div></blockquote><div><br class=""></div>Galois has already done work like this, which might help.</div><div><br class=""></div><div><a href="https://github.com/GaloisInc/HaLVM" class="">https://github.com/GaloisInc/HaLVM</a></div><div><br class=""></div><div>Ben.</div><div><br class=""></div></body></html>