56 lines
2.4 KiB
C
56 lines
2.4 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 <lib/buf.h>
|
|
#include <io/cursor.h>
|
|
#include <init/mboot.h>
|
|
#include <mm/heap.h>
|
|
#include <mm/mm.h>
|
|
#include <ke/time.h>
|
|
#include <io/spkr.h>
|
|
#include <po/shtdwn.h>
|
|
|
|
// info.c
|
|
extern void BtDoSanityChecks(uint mbMagic);
|
|
extern void BtInitBootInfo(multiboot_info_t *mbi, void *codeSeg);
|
|
|
|
// io/vga.c
|
|
extern error_t IoInitVGABuffer(void);
|
|
|
|
// ke/shell.c
|
|
extern void KeStartShell(void);
|
|
|
|
// io/keyb.c
|
|
extern void IoEnableKeyb(void);
|
|
|
|
// cpu/idt.c
|
|
extern void IdtSetup(void);
|
|
|
|
// ps/proc.c test function
|
|
extern void pstest(void);
|
|
|
|
// interrupts tests
|
|
extern void divideByZero(void);
|
|
|