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

Kiwamu Okabe kiwamu at debian.or.jp
Wed Feb 19 05:39:00 UTC 2014


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,
-- 
Kiwamu Okabe


More information about the Haskell-Cafe mailing list