blob: fe771ec88db96b9d711bca2caaf8071702020d44 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#include <int.h>
#include <log.h>
#include <sys.h>
#define SERIAL_PORT 0x70000000
void serial_write(char value) {
*(char *)SERIAL_PORT = value;
}
void kernel_main() {
register_console_callback(serial_write);
printk("webkernel version %s (Compiler %s, Linker %s) on %s\n", VERSION, COMPILER_NAME, LINKER_NAME, ARCH_NAME);
}
|
