2487445f5f
. we cannot use the boot monitor to print the system diag buffer . for serial, we do nothing, just reset, everything is already printed . for not-serial, we print the current diag buffer using direct video memory access from the kernel
12 lines
233 B
C
12 lines
233 B
C
#ifndef MB_UTILS_H
|
|
#define MB_UTILS_H
|
|
|
|
#include "kernel/kernel.h"
|
|
|
|
_PROTOTYPE(void mb_cls, (void));
|
|
_PROTOTYPE(void mb_print, (char*));
|
|
_PROTOTYPE(void mb_print_char, (char));
|
|
_PROTOTYPE(int mb_read_char, (unsigned char*));
|
|
|
|
|
|
#endif
|