#ifndef KERNEL_H
#define KERNEL_H

#include <vector>

#include "PhysicalPage.h"
#include "PageTable.h"
#include "List.h"
#include "Process.h"

class Kernel {
public:
        List<PhysicalPage> free_pages, busy_pages;
        // TODO: RunQ
        std::vector<Process> RunQ;
        Kernel(const List<PhysicalPage> &free_pages, const List<PhysicalPage> &busy_pages);
        void page_fault(PageTable page_table, int idx);
        void stat_update();

};

#endif //KERNEL_H