001
002
003
004
005
006
007
008
009
010
011
012
013
014
015
016
017
018
019
020
021 #include <bootstrap/multiboot.h>
022 #include <hwcore/idt.h>
023 #include <hwcore/gdt.h>
024 #include <hwcore/irq.h>
025 #include <hwcore/exception.h>
026 #include <hwcore/i8254.h>
027 #include <sos/list.h>
028 #include <sos/physmem.h>
029 #include <sos/klibc.h>
030 #include <sos/assert.h>
031 #include <drivers/x86_videomem.h>
032 #include <drivers/bochs.h>
033
034
035
036
037 static void display_bits(unsigned char row, unsigned char col,
038 unsigned char attribute,
039 sos_ui32_t integer)
040 {
041 int i;
042
043 for (i = 31 ; i >= 0 ; i--)
044 {
045
046 int bit_i = (integer & (1 << i));
047
048 unsigned char ascii_code = bit_i?219:177;
049 sos_x86_videomem_putchar(row, col++,
050 attribute,
051 ascii_code);
052 }
053 }
054
055
056
057 static void clk_it(int intid)
058 {
059 static sos_ui32_t clock_count = 0;
060
061 display_bits(0, 48,
062 SOS_X86_VIDEO_FG_LTGREEN | SOS_X86_VIDEO_BG_BLUE,
063 clock_count);
064 clock_count++;
065
066 }
067
068 #define MY_PPAGE_NUM_INT 511
069 struct my_ppage
070 {
071 sos_ui32_t before[MY_PPAGE_NUM_INT];
072 struct my_ppage *prev, *next;
073 sos_ui32_t after[MY_PPAGE_NUM_INT];
074 };
075
076 static void test_physmem()
077 {
078
079 struct my_ppage *ppage_list, *my_ppage;
080 sos_count_t num_alloc_ppages = 0, num_free_ppages = 0;
081
082 ppage_list = NULL;
083 while ((my_ppage = (struct my_ppage*)sos_physmem_ref_physpage_new(FALSE))
084 != NULL)
085 {
086 int i;
087 num_alloc_ppages++;
088
089
090 sos_x86_videomem_printf(2, 0,
091 SOS_X86_VIDEO_FG_YELLOW
092 | SOS_X86_VIDEO_BG_BLUE,
093 "Could allocate %d pages ",
094 num_alloc_ppages);
095
096
097 for (i = 0 ; i < MY_PPAGE_NUM_INT ; i++)
098 my_ppage->before[i] = my_ppage->after[i] = (sos_ui32_t)my_ppage;
099
100
101 list_add_tail(ppage_list, my_ppage);
102 }
103
104
105 while ((my_ppage = list_pop_head(ppage_list)) != NULL)
106 {
107
108
109 int i;
110 for (i = 0 ; i < MY_PPAGE_NUM_INT ; i++)
111 {
112
113 if ((my_ppage->before[i] != (sos_ui32_t)my_ppage)
114 || (my_ppage->after[i] != (sos_ui32_t)my_ppage))
115 {
116
117 sos_x86_videomem_putstring(20, 0,
118 SOS_X86_VIDEO_FG_LTRED
119 | SOS_X86_VIDEO_BG_BLUE,
120 "Page overwritten");
121 return;
122 }
123 }
124
125
126 if (sos_physmem_unref_physpage((sos_paddr_t)my_ppage) < 0)
127 {
128
129 sos_x86_videomem_putstring(20, 0,
130 SOS_X86_VIDEO_FG_LTRED
131 | SOS_X86_VIDEO_BG_BLUE,
132 "Cannot release page");
133 return;
134 }
135
136
137 num_free_ppages ++;
138 sos_x86_videomem_printf(2, 0,
139 SOS_X86_VIDEO_FG_YELLOW
140 | SOS_X86_VIDEO_BG_BLUE,
141 "Could free %d pages ",
142 num_free_ppages);
143 }
144
145
146 sos_x86_videomem_printf(2, 0,
147 SOS_X86_VIDEO_FG_LTGREEN
148 | SOS_X86_VIDEO_BG_BLUE,
149 "Could allocate %d bytes, could free %d bytes ",
150 num_alloc_ppages << SOS_PAGE_SHIFT,
151 num_free_ppages << SOS_PAGE_SHIFT);
152
153 SOS_ASSERT_FATAL(num_alloc_ppages == num_free_ppages);
154 }
155
156
157
158 void sos_main(unsigned long magic, unsigned long addr)
159 {
160 unsigned i;
161 sos_paddr_t sos_kernel_core_base_paddr, sos_kernel_core_top_paddr;
162
163
164
165
166 multiboot_info_t *mbi;
167 mbi = (multiboot_info_t *) addr;
168
169
170 sos_bochs_setup();
171
172 sos_x86_videomem_setup();
173 sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE);
174
175
176 if (magic == MULTIBOOT_BOOTLOADER_MAGIC)
177
178 sos_x86_videomem_printf(1, 0,
179 SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
180 "Welcome From GRUB to %s%c RAM is %dMB (upper mem = 0x%x kB)",
181 "SOS", ',',
182 (unsigned)(mbi->mem_upper >> 10) + 1,
183 (unsigned)mbi->mem_upper);
184 else
185
186 sos_x86_videomem_printf(1, 0,
187 SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
188 "Welcome to SOS");
189
190 sos_bochs_putstring("Message in a bochs\n");
191
192
193 sos_gdt_setup();
194 sos_idt_setup();
195
196
197 sos_exceptions_setup();
198 sos_irq_setup();
199
200
201 sos_i8254_set_frequency(100);
202
203
204
205 if (magic != MULTIBOOT_BOOTLOADER_MAGIC)
206 {
207 sos_x86_videomem_putstring(20, 0,
208 SOS_X86_VIDEO_FG_LTRED
209 | SOS_X86_VIDEO_BG_BLUE
210 | SOS_X86_VIDEO_FG_BLINKING,
211 "I'm not loaded with Grub !");
212
213 for (;;)
214 continue;
215 }
216
217
218 sos_irq_set_routine(SOS_IRQ_TIMER,
219 clk_it);
220
221
222 asm volatile ("sti\n");
223
224
225
226 sos_physmem_setup((mbi->mem_upper<<10) + (1<<20),
227 & sos_kernel_core_base_paddr,
228 & sos_kernel_core_top_paddr);
229 test_physmem();
230
231
232 for (;;)
233 continue;
234
235 return;
236 }