6 //#define UART0_BASE 0x10009000
7 #define UART0_BASE 0xF0000000
10 void KernelPanic_SetMode(void);
11 void KernelPanic_PutChar(char Ch);
12 void StartupPrint(const char *str);
15 int giDebug_SerialInitialised = 0;
18 void Debug_PutCharDebug(char ch)
20 // while( *(volatile Uint32*)(SERIAL_BASE + SERIAL_REG_FLAG) & SERIAL_FLAG_FULL )
23 // *(volatile Uint32*)(SERIAL_BASE + SERIAL_REG_DATA) = ch;
24 *(volatile Uint32*)(UART0_BASE) = ch;
27 void Debug_PutStringDebug(const char *str)
30 Debug_PutCharDebug( *str );
33 void KernelPanic_SetMode(void)
37 void KernelPanic_PutChar(char ch)
39 Debug_PutCharDebug(ch);
42 void StartupPrint(const char *str)