#include <dbg.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("EOK -- End of Kernel");
return 0;
}