blob: 37773e11e6e15890777730f66a3cacfdb1e4c318 (
plain)
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
55
56
|
/* Check if the compiler thinks you are targeting the wrong operating system. */
#if defined(__linux__)
#error "You are not using a cross-compiler"
#endif
/* This tutorial will only work for the 32-bit ix86 targets. */
#if !defined(__i386__)
#error "This tutorial needs to be compiled with a ix86-elf compiler"
#endif
#include <stdlib.h>
#include <types.h>
#include "cga.h"
#include "gdt.h"
#include "idt.h"
#include "serial.h"
SerialPort serial0;
CGA video0;
typedef void (*constructor)();
extern "C" {
constructor start_ctors;
constructor end_ctors;
void kernel_constructors() {
for (constructor* i = &start_ctors; i != &end_ctors; ++i) (*i)();
}
void dump_multiboot(uint32_t mb_magic, uint32_t mb_addr);
void dump_gdt();
void kernel_main([[maybe_unused]] uint32_t mb_magic, [[maybe_unused]] uint32_t mb_addr) {
if (serial0.self_check()) Console::set(&serial0);
Console::set(&video0);
printk("Hello, kernel World!\n");
dump_multiboot(mb_magic, mb_addr);
dump_gdt();
printk("GDT::SegmentDescriptor tests\n");
auto x = GDT::SegmentDescriptor::make<0xffff>(0xdeadbeef, {});
printk("x.base(): ", uhex{x.base()}, '\n');
printk("Setting new GDT\n");
GDT gdt;
dump_gdt();
IDT idt;
// abort();
}
} // extern "C"
|