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
|
//=====================================================================
// glitch kernel
// spdx-license-identifier: ISC
// description: kernel entry point
//=====================================================================
#include "mem.h"
#include <gdt.h>
#include <idt.h>
#include <stdio.h>
#include "devices/pic.h"
#include "devices/uart_16550.h"
#include "devices/vga.h"
#include <conf.h>
#include <sys/cpuid.h>
void kmain() {
pic_init();
gdt_install();
idt_install();
if (uart_init(COM1) != 0) printf("UART self-test failed.\r\n");
printf("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);
printf("hello %s world\n", "kernel");
printf("we are number %d\n", 1);
printf("a negative %d as hex %x\n", -1, -1);
printf("hex 255=0x%x\n", 255);
vga_init(vmm_map(0xb8000, 0xc03ff000));
alloc4M();
char *c = (char *)0xc0700000;
if (*c == 0) printf("c is 0\r\n");
asm volatile("int $0x80");
while (1)
;
}
|
