#include "priority-q.h"
#include "task-descriptor.h"
#include "kernel.h"

void kernelInit(KernelStruct* Colonel) {

}


void activate(KernelStruct* Colonel, TD* Active) {
    
}

void handle(KernelStruct* Colonel,  Request* syscallRequest) {
    
};