Navigation
- Accueil
- Présentation :
- FAQ
- Bugs et errata
- Contributions de lecteurs
- Téléchargements
- LXR (référencement des sources)
- Mailing-list
- Liens et Projets reliés
Site hébergé par :
Site hébergé par :
|
[ source navigation ] [ diff markup ] [ identifier search ] [ general search ] |
|||
|
||||
001 /* Copyright (C) 2004 The SOS Team 001 /* Copyright (C) 2004 The SOS Team 002 Copyright (C) 1999 Free Software Foundatio 002 Copyright (C) 1999 Free Software Foundation, Inc. 003 003 004 This program is free software; you can redi 004 This program is free software; you can redistribute it and/or 005 modify it under the terms of the GNU Genera 005 modify it under the terms of the GNU General Public License 006 as published by the Free Software Foundatio 006 as published by the Free Software Foundation; either version 2 007 of the License, or (at your option) any lat 007 of the License, or (at your option) any later version. 008 008 009 This program is distributed in the hope tha 009 This program is distributed in the hope that it will be useful, 010 but WITHOUT ANY WARRANTY; without even the 010 but WITHOUT ANY WARRANTY; without even the implied warranty of 011 MERCHANTABILITY or FITNESS FOR A PARTICULAR 011 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 012 GNU General Public License for more details 012 GNU General Public License for more details. 013 013 014 You should have received a copy of the GNU 014 You should have received a copy of the GNU General Public License 015 along with this program; if not, write to t 015 along with this program; if not, write to the Free Software 016 Foundation, Inc., 59 Temple Place - Suite 3 016 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, 017 USA. 017 USA. 018 */ 018 */ 019 019 020 /* Include definitions of the multiboot standa 020 /* Include definitions of the multiboot standard */ 021 #include <bootstrap/multiboot.h> 021 #include <bootstrap/multiboot.h> 022 #include <hwcore/idt.h> 022 #include <hwcore/idt.h> 023 #include <hwcore/gdt.h> 023 #include <hwcore/gdt.h> 024 #include <hwcore/irq.h> 024 #include <hwcore/irq.h> 025 #include <hwcore/exception.h> 025 #include <hwcore/exception.h> 026 #include <hwcore/i8254.h> 026 #include <hwcore/i8254.h> >> 027 #include <sos/list.h> >> 028 #include <sos/physmem.h> 027 #include <sos/klibc.h> 029 #include <sos/klibc.h> 028 #include <sos/assert.h> 030 #include <sos/assert.h> 029 #include <drivers/x86_videomem.h> 031 #include <drivers/x86_videomem.h> 030 #include <drivers/bochs.h> 032 #include <drivers/bochs.h> 031 033 032 034 033 /* Helper function to display each bits of a 3 035 /* Helper function to display each bits of a 32bits integer on the 034 screen as dark or light carrets */ 036 screen as dark or light carrets */ 035 static void display_bits(unsigned char row, un 037 static void display_bits(unsigned char row, unsigned char col, 036 unsigned char attribu 038 unsigned char attribute, 037 sos_ui32_t integer) 039 sos_ui32_t integer) 038 { 040 { 039 int i; 041 int i; 040 /* Scan each bit of the integer, MSb first * 042 /* Scan each bit of the integer, MSb first */ 041 for (i = 31 ; i >= 0 ; i--) 043 for (i = 31 ; i >= 0 ; i--) 042 { 044 { 043 /* Test if bit i of 'integer' is set */ 045 /* Test if bit i of 'integer' is set */ 044 int bit_i = (integer & (1 << i)); 046 int bit_i = (integer & (1 << i)); 045 /* Ascii 219 => dark carret, Ascii 177 = 047 /* Ascii 219 => dark carret, Ascii 177 => light carret */ 046 unsigned char ascii_code = bit_i?219:177 048 unsigned char ascii_code = bit_i?219:177; 047 sos_x86_videomem_putchar(row, col++, 049 sos_x86_videomem_putchar(row, col++, 048 attribute, 050 attribute, 049 ascii_code); 051 ascii_code); 050 } 052 } 051 } 053 } 052 054 053 055 054 /* Clock IRQ handler */ 056 /* Clock IRQ handler */ 055 static void clk_it(int intid) 057 static void clk_it(int intid) 056 { 058 { 057 static sos_ui32_t clock_count = 0; 059 static sos_ui32_t clock_count = 0; 058 060 059 display_bits(0, 48, 061 display_bits(0, 48, 060 SOS_X86_VIDEO_FG_LTGREEN | SOS_ 062 SOS_X86_VIDEO_FG_LTGREEN | SOS_X86_VIDEO_BG_BLUE, 061 clock_count); 063 clock_count); 062 clock_count++; 064 clock_count++; 063 065 064 } 066 } 065 067 066 /* Division by zero exception handler */ !! 068 #define MY_PPAGE_NUM_INT 511 067 static void divide_ex(int exid) !! 069 struct my_ppage 068 { 070 { 069 static sos_ui32_t div_count = 0; !! 071 sos_ui32_t before[MY_PPAGE_NUM_INT]; 070 display_bits(0, 0, !! 072 struct my_ppage *prev, *next; 071 SOS_X86_VIDEO_FG_LTRED | SOS_X8 !! 073 sos_ui32_t after[MY_PPAGE_NUM_INT]; 072 div_count); !! 074 }; /* sizeof() Must be <= 4kB */ 073 div_count++; !! 075 >> 076 static void test_physmem() >> 077 { >> 078 /* We place the pages we did allocate here */ >> 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 /* Print the allocation status */ >> 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 /* We fill this page with its address */ >> 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 /* We add this page at the tail of our list of ppages */ >> 101 list_add_tail(ppage_list, my_ppage); >> 102 } >> 103 >> 104 /* Now we release these pages in FIFO order */ >> 105 while ((my_ppage = list_pop_head(ppage_list)) != NULL) >> 106 { >> 107 /* We make sure this page was not overwritten by any unexpected >> 108 value */ >> 109 int i; >> 110 for (i = 0 ; i < MY_PPAGE_NUM_INT ; i++) >> 111 { >> 112 /* We don't get what we expect ! */ >> 113 if ((my_ppage->before[i] != (sos_ui32_t)my_ppage) >> 114 || (my_ppage->after[i] != (sos_ui32_t)my_ppage)) >> 115 { >> 116 /* STOP ! */ >> 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 /* Release the descriptor */ >> 126 if (sos_physmem_unref_physpage((sos_paddr_t)my_ppage) < 0) >> 127 { >> 128 /* STOP ! */ >> 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 /* Print the deallocation status */ >> 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 /* Print the overall stats */ >> 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); 074 } 154 } 075 155 >> 156 076 /* The C entry point of our operating system * 157 /* The C entry point of our operating system */ 077 void sos_main(unsigned long magic, unsigned lo 158 void sos_main(unsigned long magic, unsigned long addr) 078 { 159 { 079 unsigned i; 160 unsigned i; >> 161 sos_paddr_t sos_kernel_core_base_paddr, sos_kernel_core_top_paddr; 080 162 081 /* Grub sends us a structure, called multibo 163 /* Grub sends us a structure, called multiboot_info_t with a lot of 082 precious informations about the system, s 164 precious informations about the system, see the multiboot 083 documentation for more information. */ 165 documentation for more information. */ 084 multiboot_info_t *mbi; 166 multiboot_info_t *mbi; 085 mbi = (multiboot_info_t *) addr; 167 mbi = (multiboot_info_t *) addr; 086 168 087 /* Setup bochs and console, and clear the co 169 /* Setup bochs and console, and clear the console */ 088 sos_bochs_setup(); 170 sos_bochs_setup(); 089 171 090 sos_x86_videomem_setup(); 172 sos_x86_videomem_setup(); 091 sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE); 173 sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE); 092 174 093 /* Greetings from SOS */ 175 /* Greetings from SOS */ 094 if (magic == MULTIBOOT_BOOTLOADER_MAGIC) 176 if (magic == MULTIBOOT_BOOTLOADER_MAGIC) 095 /* Loaded with Grub */ 177 /* Loaded with Grub */ 096 sos_x86_videomem_printf(1, 0, 178 sos_x86_videomem_printf(1, 0, 097 SOS_X86_VIDEO_FG_Y 179 SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE, 098 "Welcome From GRUB 180 "Welcome From GRUB to %s%c RAM is %dMB (upper mem = 0x%x kB)", 099 "SOS", ',', 181 "SOS", ',', 100 (unsigned)(mbi->me 182 (unsigned)(mbi->mem_upper >> 10) + 1, 101 (unsigned)mbi->mem 183 (unsigned)mbi->mem_upper); 102 else 184 else 103 /* Not loaded with grub */ 185 /* Not loaded with grub */ 104 sos_x86_videomem_printf(1, 0, 186 sos_x86_videomem_printf(1, 0, 105 SOS_X86_VIDEO_FG_Y 187 SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE, 106 "Welcome to SOS"); 188 "Welcome to SOS"); 107 189 108 sos_bochs_putstring("Message in a bochs\n"); 190 sos_bochs_putstring("Message in a bochs\n"); 109 191 110 /* Setup CPU segmentation and IRQ subsystem 192 /* Setup CPU segmentation and IRQ subsystem */ 111 sos_gdt_setup(); 193 sos_gdt_setup(); 112 sos_idt_setup(); 194 sos_idt_setup(); 113 195 114 /* Setup SOS IRQs and exceptions subsystem * 196 /* Setup SOS IRQs and exceptions subsystem */ 115 sos_exceptions_setup(); 197 sos_exceptions_setup(); 116 sos_irq_setup(); 198 sos_irq_setup(); 117 199 118 /* Configure the timer so as to raise the IR 200 /* Configure the timer so as to raise the IRQ0 at a 100Hz rate */ 119 sos_i8254_set_frequency(100); 201 sos_i8254_set_frequency(100); 120 202 >> 203 >> 204 /* We need a multiboot-compliant boot loader to get the size of the RAM */ >> 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 /* STOP ! */ >> 213 for (;;) >> 214 continue; >> 215 } >> 216 121 /* Binding some HW interrupts and exceptions 217 /* Binding some HW interrupts and exceptions to software routines */ 122 sos_irq_set_routine(SOS_IRQ_TIMER, 218 sos_irq_set_routine(SOS_IRQ_TIMER, 123 clk_it); 219 clk_it); 124 sos_exception_set_routine(SOS_EXCEPT_DIVIDE_ << 125 divide_ex); << 126 /* Enabling the HW interrupts here, this wil 220 /* Enabling the HW interrupts here, this will make the timer HW 127 interrupt call our clk_it handler */ 221 interrupt call our clk_it handler */ 128 asm volatile ("sti\n"); 222 asm volatile ("sti\n"); 129 !! 223 /* Multiboot says: "The value returned for upper memory is maximally 130 /* Raise a rafale of 'division by 0' excepti !! 224 the address of the first upper memory hole minus 1 megabyte.". It 131 not really needed (equivalent to a bare " !! 225 also adds: "It is not guaranteed to be this value." aka "YMMV" ;) */ 132 compiling with -O3: "i=1/0;" is considere !! 226 sos_physmem_setup((mbi->mem_upper<<10) + (1<<20), 133 -O3. */ !! 227 & sos_kernel_core_base_paddr, 134 i = 10; !! 228 & sos_kernel_core_top_paddr); 135 while (1) !! 229 test_physmem(); 136 { !! 230 137 /* Stupid function call to fool gcc opti !! 231 /* An operatig system never ends */ 138 sos_bochs_printf("i = 1 / %d...\n", i); !! 232 for (;;) 139 i = 1 / i; !! 233 continue; 140 } << 141 << 142 /* Will never print this since the "divide b << 143 returns to the faulting instruction (see << 144 section 5.12), thus re-evaluating the "di << 145 and raising the "divide by zero" exceptio << 146 sos_x86_videomem_putstring(2, 0, << 147 SOS_X86_VIDEO_FG_ << 148 "Invisible"); << 149 234 150 return; 235 return; 151 } 236 }
| [ source navigation ] | [ diff markup ] | [ identifier search ] | [ general search ] |