[Haskell-cafe] Unix (Posix) low-level device driver functionality?

Don Stewart dons at galois.com
Fri Nov 23 21:17:30 EST 2007

>    Hello,
>       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
then upwards.


If a binding to a particular C function you need is
missing, use the FFI to create a Haskell binding to it.


-- Don

More information about the Haskell-Cafe mailing list