//----------------------------------------------------------------------------//
//                           GNU GPL OS/K                                     //
//                                                                            //
//  Desc:       Kernel entry point                                            //
//                                                                            //
//                                                                            //
//  Copyright © 2018-2020 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 <mm/gdt.h>
#include <mm/map.h>
#include <mm/paging.h>
#include <mm/heap.h>
#include <ke/idt.h>
#include <ke/time.h>
#include <ke/cpuid.h>
#include <ke/sched.h>
#include <sh/shell.h>
#include <io/vga.h>
#include <io/keyb.h>
#include <io/cursor.h>
#include <io/acpi.h>
#include <po/shtdwn.h>
#include <init/boot.h>

#include <io/pci.h>

//
// 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\n\n%C",
             VGA_COLOR_WHITE,
             219,
             219,
             219,
             VGA_COLOR_LIGHT_GREY
            );

    // Sanity checks
    BtDoSanityChecks(mbMagic);

    // Memory
    MmInitMemoryMap();
    MmInitHeap();
    MmInitGdt();
    MmInitPaging();

    // Interrupts
    KeSetupIDT();
    KeEnableIRQs();
    KeEnableRTC();
    KeEnablePIT();

    // Interrupt handlers
    MmActivatePageHandler();
    KeGetCpuInfos();
    IoEnableKeyb();

    // ACPI
    IoInitAcpi();
    
    // PCI
    IoInitPCI();
    
        // Test RTL8139
        PciDev_t *rtl8139_pciDev = IoPciGetDevice(0x10EC, 0x8139);
        if(rtl8139_pciDev != NULL)
        {
            DebugLog("Network card RTL8139 found ! PCI config addr = %p\n", 
                    rtl8139_pciDev->configAddr);
        }

    // Scheduler
    PsInitSched();

    // Command line (kernel mode)
    KernLog("Copyright (C) 2018-2020 The OS/K Team\n"
    "This program comes with ABSOLUTELY NO WARRANTY.\n"
    "This is free software, type `ver' for details.\n");
    
    ShStartShell();

    //KeCrashSystem();
    // Exit !
    PoShutdown();
}