kolibrios/drivers/ddk/debug
..
chkstk.S
dbglog.c