aboutsummaryrefslogtreecommitdiff
path: root/src/kernel.cc
blob: 0d8874c86c766153727b1cb377c94a83916f46bd (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
57
58
59
60
61
62
63
/* 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 "keyboard.h"
#include "scheduler.h"
#include "serial.h"
#include "vmm.h"

/* hardware */
vmm kvmm;
#include "hardware.h"

extern "C" {
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) {

#ifdef HAS_SERIAL0
  if constexpr (serial0_console)
    if (serial0.self_check()) Console::set(&serial0);
#endif

#ifdef HAS_VIDEO0
  if (const auto cga_buffer_r = kvmm.map(0xb8000, 0xc03f3000)) {
    video0.set_buffer(cga_buffer_r.value());
    if constexpr (video0_console) Console::set(&video0);
  }
#endif

  printk("Hello, kernel World!\n");

  dump_address();
  // dump_gdt();
  //

  if (const auto mb_addr_r = kvmm.map(mb_addr, 0xc03fe000)) {
    mb_addr = mb_addr_r.value();
    // dump_multiboot(mb_magic, mb_addr);
  }

  GDT gdt;
  IDT idt{gdt.descriptor(GDT::kcode)};
  // Scheduler s{gdt.descriptor(GDT::kcode)};
  Keyboard kb;

  idt.enable();

  while (true) asm volatile("hlt");
}
}  // extern "C"