#ifndef JASKERNELDEBUG_H
#define JASKERNELDEBUG_H

#include "dolphin/types.h"

namespace JASystem {
    namespace Kernel {
        void stackInit(u64*, u32);
    }
}

#endif /* JASKERNELDEBUG_H */