// TODO: CHECK/REPLACE/UPDATE OLD CODE (this file is based on xv6)
#include "types.h"
#include "param.h"
#include "memlayout.h"
#include "riscv.h"
#include "defs.h"
#include "sched.h"
#include "vmrd.h"
#include "kprintf.h"

void syscall_init();
void fpu_init();
void resources_init(); // autogenerated

volatile static int started = 0;

// start() jumps here in supervisor mode on all CPUs.
void
main()
{
  if(SCHED_CORE_THISNUMBER_NOINTERRUPTS() == 0){
    consoleinit();
    kprintf_init();
    kprintf("\nRealtime64 Kernel starting up...\n");
    #ifdef _ZCC
    printf("[compiled with new C compiler]\n");
    #else
    printf("[compiled with legacy C compiler]\n");
    #endif
    printf("\n");
    
    timeslice_max = 1000000;
    timeslice_min = 1000;
    
    printf("physpg_initbegin()...\n");
    physpg_initbegin();
    printf("physpg_setrange(PHYSPG_FREERAM, %p, %p)...\n", end, (void*)PHYSTOP);
    physpg_setrange(PHYSPG_FREERAM, end, (void*)PHYSTOP);
    printf("physpg_initend()...\n");
    physpg_initend();
    printf("kvminit()...\n");
    kvminit();       // create kernel page table
    printf("kvminithart()...\n");
    kvminithart();   // turn on paging
    printf("resources_init()...\n");
    resources_init();
    printf("procinit()...\n");
    procinit();      // process table
    printf("trapinit()...\n");
    trapinit();      // trap vectors
    printf("trapinithart()...\n");
    trapinithart();  // install kernel trap vector
    printf("plicinit()...\n");
    plicinit();      // set up interrupt controller
    printf("plicinithart()...\n");
    plicinithart();  // ask PLIC for device interrupts
    printf("fileinit()...\n");
    fileinit();      // file table
    printf("vmrd_present()?\n");
    if (vmrd_present()) {
        printf("YES, using vmrd_init()...\n");
        vmrd_init();
    } else {
        printf("NO, using virtio_disk_init()...\n");
        virtio_disk_init(); // emulated hard disk
    }
    printf("syscall_init()...\n");
    syscall_init();   // syscall table must now be initialised at startup
    printf("fpu_init()...\n");
    fpu_init();
    printf("userinit()...\n");
    userinit();      // first user process
    printf("Kernel booted?\n");
    printf("%d MB total %d MB free\n", (int) (physpg_totalram()/MB), (int)(physpg_freeram()/MB));
    __sync_synchronize();
    started = 1;
  } else {
	//consputc('+');
	//while(1){}
    while(started == 0)
      ;
    __sync_synchronize();
    printf("hart %d starting\n", SCHED_CORE_THISNUMBER_NOINTERRUPTS());
    //printf("kvminithart()...\n");
    kvminithart();    // turn on paging
    //printf("trapinithart()...\n");
    trapinithart();   // install kernel trap vector
    //printf("plicinithart()...\n");
    plicinithart();   // ask PLIC for device interrupts
  }

  //printf("ENTERING SCHEDULER ON HART %d\n", SCHED_CORE_THISNUMBER_NOINTERRUPTS());
  scheduler();        
}