Make ivory-backend-c/runtime/ compatible with Linux kernel - Githubissues

GaloisInc / ivory

The Ivory EDSL

http://ivorylang.org

BSD 3-Clause "New" or "Revised" License

393 stars 28 forks source link

Make ivory-backend-c/runtime/ compatible with Linux kernel #121

Closed sorki closed 10 months ago

sorki commented 5 years ago

Required for https://github.com/HaskellEmbedded/ivory-tower-linux

Pretty harmless otherwise.