Debug message is disabled by default now. If you want to show the message, please add "option DEBUG" in the config file or in the C source #define DEBUG #include <printk.h>