stkarm/src/kernel.cpp

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

/* 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("Now firing software interrupt...");
    fireswi();

    printkl("EOK -- End of Kernel -- Now returning to assembly");
    return 0;
}