1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
//=====================================================================
// glitch kernel
// spdx-license-identifier: ISC
// description: kernel entry point
//=====================================================================
#include "conf.h"
#include "devices/keyboard.h"
#include "devices/mouse.h"
#include "devices/pic.h"
#include "devices/ps2_controller.h"
#include "devices/uart.h"
#include "devices/vga.h"
#include "mem.h"
#include <stdio.h>
#include <sys/cpuid.h>
FILE *stdin;
FILE *stdout;
FILE *stderr;
void kmain() {
stderr = uart_init(COM1);
stdout = vga_init(vmm_map(0xb8000, 0xc03ff000));
printf("glitch [version " VERSION "] [" CC "]\n");
fprintf(stderr, "glitch [version " VERSION "] [" CC "]\n");
{
char vendor[13] = {'\0'};
unsigned int eax;
__get_cpuid(0, &eax, (unsigned int *)vendor, (unsigned int *)(vendor + 8), (unsigned int *)(vendor + 4));
struct CPUVersion v;
__get_cpuid(1, (unsigned int *)&v, &eax, &eax, &eax);
printf("CPU: %s family %u model %u stepping %u\n", vendor, family(v), model(v), v.stepping);
fprintf(stderr, "CPU: %s family %u model %u stepping %u\n", vendor, family(v), model(v), v.stepping);
}
pic_init();
ps2_ctrl_init();
ps2_keyboard_init();
mouse_init();
pic_enable();
printf("interrupts enabled\n");
/*
alloc4M();
char *c = (char *)0xc0700000;
if (*c == 0) printf("c is 0\r\n");
*/
while (1) {}
}
|
