summaryrefslogtreecommitdiff
path: root/src/kernel/main.c
blob: cbdebfaf6155a194ff015ebaa38fdd2228195ecd (plain) (blame)
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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
#include <stdint.h>
#include "serial.h"
#include "panic.h"
#include "boot.h"
#include "util.h"
#include "vesa.h"
#include "fat.h"
#include "ide.h"
#include "mem.h"
#include "pci.h"
#include "vga.h"

__attribute__ ((noreturn)) void main() {
  char nbuf[11];

  init_mmap();
  init_vesa();
  init_serial();

  vga_blank();
  vga_printsz("Portland v0.0.11\n\n");

  //list vesa modes?

  pci_init();

  u16_dec(n_pci_devices, nbuf);
  vga_printsz(nbuf);
  vga_printsz(" PCI device(s) found:\n");

  for (uint16_t n = 0; n < n_pci_devices; ++n) {
    struct pci_device *pd = nth_pci_device(n);

    u16_hex(pd->number, nbuf);
    vga_printsz("  ");
    vga_printsz(nbuf);
    vga_printsz(": ");

    u16_hex(pd->id_vendor, nbuf);
    nbuf[4] = '.';
    u16_hex(pd->id_device, nbuf + 5);
    vga_printsz(nbuf);

    u8_hex(pd->class, nbuf);
    nbuf[2] = '.';
    u8_hex(pd->subclass, nbuf + 3);
    nbuf[5] = '.';
    u8_hex(pd->iface, nbuf + 6);
    vga_printsz(" (");
    vga_printsz(nbuf);
    vga_printsz(")\n");
  }

  vga_printch('\n');

  init_fat();
  //other fs drivers

  init_ide();
  //other drive drivers

  u8_dec(n_drives, nbuf);
  vga_printsz(nbuf);
  vga_printsz(" drive(s) found:\n");

  for (uint8_t n = 0; n < n_drives; ++n) {
    struct drive *d = drives + n;

    u8_dec(n, nbuf);
    vga_printsz("  sd");
    vga_printsz(nbuf);
    vga_printsz(" (");
    vga_printsz(d->drive_type);
    vga_printsz(", ");

    u32_dec(d->n_sectors / 2, nbuf);
    vga_printsz(nbuf);
    if (d->n_sectors % 2)
      vga_printsz(".5");
    vga_printsz("k): ");

    vga_printsz(d->fs_type);

    uint32_t free_sectors = d->get_free_sectors(d);
    if (free_sectors != -1) {
      u32_dec(free_sectors / 2, nbuf);
      vga_printsz(", ");
      vga_printsz(nbuf);
      if (free_sectors % 2)
        vga_printsz(".5");
      vga_printsz("k free");
    }

    vga_printsz(".\n");
  }

  vga_printch('\n');

  u32_dec(pages_left * 4, nbuf);
  vga_printsz(nbuf);
  vga_printsz("k dynamic memory free.\n\n");

  vga_printsz("Loading init process.");

  vga_printsz("\n\nTODO: load and switch to init process");
  while (1)
    asm ("hlt");
}