//----------------------------------------------------------------------------//
//                           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 <extras/buf.h>
#include <kernel/iomisc.h>
#include <kernel/cursor.h>
#include <kernel/mboot.h>
#include <kernel/heap.h>
#include <kernel/mm.h>
#include <kernel/time.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);

//io/keyb.c
extern void IoSetupKeyb(void);
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);

void test(void)
{
    asm volatile ("hlt");
}

//
// 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 OS/K\n\n", 219, 219, 219); //grrr

    // Sanity checks
    BtDoSanityChecks(mbMagic);

    // Memory & scheduler
    MmInitMemoryMap();

    // Several inits
    MmInitHeap();
    PsInitSched();

    // Drivers ISR inits
    IoSetupRtc();
    IoSetupKeyb();
    // Interrupts launching
    IdtSetup();
    KeEnableIRQs();
    // Drivers enabling
    IoEnableRtc();
    IoEnableKeyb();

    IoPrintRtcTime();

    /* KernLog("There was %d ticks\n", IoGetRtcTicks()); */
    /* for (uint i = 1; i < 2 ; i++) { */
    /*     while (IoGetRtcTicks() < i * 10000) { */
    /*     } */
    /*     IoPrintRtcTime(); */
    /* } */
    long var = -1;
    KernLog("salut : %s", var);

    KernLog("Goodbye after %d ticks\n", IoGetRtcTicks());
    // End this machine's suffering
    BFlushBuf(BStdOut);
    KeCrashSystem();
}