HelenOS sources

root/kernel/genarch/src/ddi/

[..]
ddi-bitmap.c ddi-dummy.c
[..]
HelenOS homepage, sources at GitHub