rem: puts("*** debugger call - not yet implemented ***"); printf("%s\n", message);  abort();
add: _kern_debugger(message);
context: debugger(const char *message){	// ToDo: implement debugger() properly	puts("*** debugger call - not yet implemented ***");	printf("%s\n", message);	abort();}