80 lines
3.0 KiB
C
80 lines
3.0 KiB
C
//----------------------------------------------------------------------------//
|
|
// GNU GPL OS/K //
|
|
// //
|
|
// Desc: Kernel entry point //
|
|
// //
|
|
// //
|
|
// Copyright © 2018-2019 The OS/K Team //
|
|
// //
|
|
// This file is part of OS/K. //
|
|
// //
|
|
// OS/K is free software: you can redistribute it and/or modify //
|
|
// it under the terms of the GNU General Public License as published by //
|
|
// the Free Software Foundation, either version 3 of the License, or //
|
|
// any later version. //
|
|
// //
|
|
// OS/K is distributed in the hope that it will be useful, //
|
|
// but WITHOUT ANY WARRANTY//without even the implied warranty of //
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the //
|
|
// GNU General Public License for more details. //
|
|
// //
|
|
// You should have received a copy of the GNU General Public License //
|
|
// along with OS/K. If not, see <https://www.gnu.org/licenses/>. //
|
|
//----------------------------------------------------------------------------//
|
|
|
|
#include "init.h"
|
|
#include <io/vga.h>
|
|
|
|
void MmInitPaging(void);
|
|
void MmActivatePageHandler(void);
|
|
|
|
//
|
|
// Entry point of the Kaleid kernel
|
|
//
|
|
noreturn void BtStartKern(multiboot_info_t *mbInfo, uint mbMagic, void *codeSeg)
|
|
{
|
|
KeDisableIRQs();
|
|
|
|
// Initialize the BootInfo_t structure
|
|
BtInitBootInfo(mbInfo, codeSeg);
|
|
|
|
// Screen I/O available from this point on
|
|
IoInitVGABuffer();
|
|
IoEnableCursor();
|
|
IoUpdateCursor(0, 0);
|
|
|
|
KernLog("%C%c%c%c OS/K%C\n\n", VGA_COLOR_WHITE,
|
|
219, 219, 219, VGA_COLOR_LIGHT_GREY);
|
|
|
|
// Sanity checks
|
|
BtDoSanityChecks(mbMagic);
|
|
|
|
// Memory
|
|
MmInitMemoryMap();
|
|
//MmInitGdt();
|
|
MmInitPaging();
|
|
MmInitHeap();
|
|
|
|
// Interrupts launching
|
|
KeSetupIDT();
|
|
KeEnableIRQs();
|
|
|
|
// Start drivers
|
|
KeEnableRTC();
|
|
IoEnableKeyb();
|
|
MmActivatePageHandler();
|
|
|
|
KernLog("\n%CThis %Cis %Ca %CColor %Ctest%C...%C\n",
|
|
VGA_COLOR_LIGHT_BLUE,
|
|
VGA_COLOR_BROWN,
|
|
VGA_COLOR_MAGENTA,
|
|
VGA_COLOR_LIGHT_GREEN,
|
|
VGA_COLOR_RED,
|
|
VGA_COLOR_DARK_GREY,
|
|
VGA_COLOR_LIGHT_GREY);
|
|
|
|
KeStartShell();
|
|
|
|
PoShutdown();
|
|
}
|