#define LOG_BUFFER_SIZE 0x40000 static char log_buffer[LOG_BUFFER_SIZE] = {0}; int printk(const char *format, ...) { (void)log_buffer; return 0; }