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
109
110
111
112
113
114
115
116
117
118
119
|
#include "boucane.hpp"
#include "core/apic.hpp"
#include "core/paging.hpp"
#include "drivers/memtext.hpp"
#include "core/idt.hpp"
#include "boot/multiboot2.hpp"
#include "drivers/framebuffer.hpp"
#include "drivers/psftext.hpp"
#include "drivers/vgatext.hpp"
#include "libs/stdio.hpp"
#include "libs/string.hpp"
#include "drivers/bmp.hpp"
#include "core/scheduler.hpp"
u64 kvar_kernel_vma;
u64 kvar_stack_pma;
u64 kvar_userspace_pma;
u64 kvar_bss_start;
u64 kvar_bss_end;
u64 kvar_terminus_psf_start;
u64 kvar_terminus_psf_end;
u64 kvar_logo_bmp_start;
u64 kvar_logo_bmp_end;
TSS kvar_tss;
void (*printk)(char *str,...)=printf;
extern u64 gdt64_tss;
void configure_tss(){
// Get TSS physical address
u64 tss_addr=(u64)PHY(&kvar_tss);
u32 limit=sizeof(TSS);
u32 desc1=(tss_addr&0xFFFF)<<16|(limit&0xFFFF);
u32 desc2=(tss_addr&0xFF);
desc2|=0b1001<<8; // Type
desc2|=0b111<<13; // Permission & present
u32 desc3=((limit>>8)&0xFFFF)|(limit>>24);
// Configure GDT
u32 *gdt_entry=(u32*)&gdt64_tss;
gdt_entry[0]=desc1;
gdt_entry[1]=desc2;
gdt_entry[2]=desc3;
gdt_entry[3]=0;
// Configure segment
kvar_tss.rsp0=(u64)VIRT(kvar_stack_pma);
asm(
"mov $0x28, %ax \n\t"
"ltr %ax"
);
}
void task1(){
u64 a=0xEEEEEE;
DUMP(a);
while(1);
}
extern "C" void boucane(u64 mb_info){
// Init linker variables
asm volatile ("movq $__kernel_vma, %0":"=m"(kvar_kernel_vma));
asm volatile ("movq $__userspace_pma, %0":"=m"(kvar_userspace_pma));
asm volatile ("movq $__stack_pma, %0":"=m"(kvar_stack_pma));
asm volatile ("movq $__bss_start, %0":"=m"(kvar_bss_start));
asm volatile ("movq $__bss_end, %0":"=m"(kvar_bss_end));
asm volatile ("movq $res_binary_res_terminus_psf_start, %0":"=m"(kvar_terminus_psf_start));
asm volatile ("movq $res_binary_res_terminus_psf_end, %0":"=m"(kvar_terminus_psf_end));
asm volatile ("movq $res_binary_res_logo_bmp_start, %0":"=m"(kvar_logo_bmp_start));
asm volatile ("movq $res_binary_res_logo_bmp_end, %0":"=m"(kvar_logo_bmp_end));
// Init data structures
asm volatile ("call load_gdt");
configure_tss();
paging_enable();
memtext_init();
idt_enable_interrupt();
apic_enable();
// Looking for framebuffer
FRAMEBUFFER fb_info;
if(mb2_find_framebuffer((u32*)mb_info, &fb_info)){
if(fb_info.bpp>16){
FB_CFG conf;
conf.depth=fb_info.bpp;
conf.location=fb_info.addr;
conf.pitch=fb_info.pitch;
conf.width=fb_info.width;
conf.height=fb_info.height;
framebuffer_init(conf);
psftext_init((void*)kvar_terminus_psf_start);
__putchar=psftext_putchar;
}
else{
vgatext_init();
__putchar=vgatext_putchar;
}
}
// Booting!
printk("Booting Boucane v%d.%d.%d\n",VERSION_MAJOR,VERSION_MINOR, VERSION_PATH);
char bootloader[20];
if(mb2_find_bootloader_name((u32*)mb_info,bootloader)){
printk("System informations -- BOOT:%s ", bootloader);
}
MEM_INFO mem_infos;
if(mb2_find_mem((u32*)mb_info,&mem_infos)){
u64 mem=mem_infos.mem_upper-mem_infos.mem_lower;
mem/=1024;
printk("RAM:%dMB\n", mem);
}
//create_task((void*)task1, 50);
//scheduler_start();
while(1);
}
|
