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

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


vigalchin:
>    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.

    http://haskell.org/haskellwiki/Applications_and_libraries/Operating_system#Standalone_operating_systems

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

    http://www.cse.unsw.edu.au/~chak/haskell/ffi/

-- Don


More information about the Haskell-Cafe mailing list