#ifndef KERNELSTATE_H
#define KERNELSTATE_H

#include <stddef.h>

#include "process.hpp"

namespace kernel
{

class State
{
public:

    static const size_t MAX_PROCESSES = 2048;

};

}

#endif