[Haskell-cafe] Unix (Posix) low-level device driver functionality?
dons at galois.com
Fri Nov 23 21:17:30 EST 2007
> I am seriously trying to push the mainstream computer industry. I am a
> kernel developer for POSIX OS's (e.g. Linux) and Windows. I would at the
> very least be able to write "test"/correctness software in Haskell where I
> am able to open Unix/Windows drivers and test storage firmware. The
> possibility exists in Houston to do this .. I want FPLs (in particular
> Haskell) to strut their "stuff" even on humble stubble stuff like firmware
> verification. In any case, it seems like the GHC documentation allows "raw
> driver I/O"but when I look at the actual GHC 6.8.1 libraries I don't see
> low level driver functionailty.
> Kind regards, Vasya
Most OS kernel work is done in FFI code over some small amount of C, and
If a binding to a particular C function you need is
missing, use the FFI to create a Haskell binding to it.
More information about the Haskell-Cafe