HelenOS sources

kernel/arch/mips32/include/arch/debug.h
kernel/generic/include/debug.h
uspace/app/sbi/src/debug.h
uspace/drv/bus/usb/xhci/debug.h
uspace/lib/usb/include/usb/debug.h
HelenOS homepage, sources at GitHub