GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-01 00:22:24 +03:00
Code Issues Projects Releases Wiki Activity
bf0b6813d2
macaw/x86/support
History
Joe Hendrix 4dcb26ebee
Add x86 specific code.
2017-09-27 15:54:43 -07:00
..
make_bsd_syscalls Add x86 specific code. 2017-09-27 15:54:43 -07:00
make_linux_syscalls Add x86 specific code. 2017-09-27 15:54:43 -07:00
macaw-x86-support.cabal Add x86 specific code. 2017-09-27 15:54:43 -07:00
README.md Add x86 specific code. 2017-09-27 15:54:43 -07:00

README.md

This directory contains a cabal file with utilities for automatically generating the system call definitions from the include files.