blob: e31782cee9f2edb70312f13dba15d53b6246e656 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#include <kernel/con.h>
extern int printf(char *fmt, ...);
void kmain(void) {
con_init();
printf("Kernel booting...\n");
printf("Kernel booted!\n");
printf("Number: %s %04x\n", "test", 0x18C);
printf("Number: %s %04X\n", "test", 0x18C);
printf("Number: %s %#04x\n", "test", 0x18C);
printf("Number: %s %#04X\n", "test", 0x18C);
}
|
