[Haskell-cafe] Rewrite NetBSD kernel driver using Ajhc Haskell compiler

Mateusz Kowalczyk fuuzetsu at fuuzetsu.co.uk
Wed Feb 19 05:57:23 UTC 2014

On 19/02/14 05:39, Kiwamu Okabe wrote:
> Hi all,
> NetBSD kernel's HD Audio sound driver has interrupt handler.
> The interrupt handler of the demo is re-written by Haskell language
> using Ajhc Haskell Compiler http://ajhc.metasepi.org/.
> Demo movie could be found at following link.
> http://www.youtube.com/watch?v=XEYcR5RG5cA
> At the demo, run following operations.
> First, set breakpoint at the interrupt of finding headphone,
> and see Haskell function names on backtrace.
> Second, set breakpoint s_alloc() function, that allocate area
> in Haskell heap. Make sure of calling the function while anytime
> running kernel.
> Nevertheless, playing wav file does not break up.
> The source code is found at https://github.com/metasepi/netbsd-arafura-s1.
> And a picture of the architecture is also at
> http://www.flickr.com/photos/masterq/12616929055/.
> Thank's,

That's pretty damn cool.

Mateusz K.

More information about the Haskell-Cafe mailing list