stkarm/src/kernel.cpp

#include <dbg.h>
#include <stdint.h>
#include <interrupt.h>

extern "C" void go_usr(void);

/* KERNEL MAIN */
extern "C" int main(int argc, char** argv) {
    printkl("Welcome to STKARM -- Simple and Trivial Kernel for Advanced Reduced Instruction Set Computer Machines");

    printkl("Installing kernel...");

    printkl("Now firing test software interrupt...");
    fireswi();

    printkl("Go user...");
    go_usr();

    printkl("EOK -- End of Kernel -- This point can not be reached");
    return 0;
}