#pragma once

#ifdef __cplusplus
extern "C" {
#endif

#include "result.h"
#include "types.h"
#include "smc.h"

#include "arm/cache.h"
#include "arm/tls.h"

#include "kernel/svc.h"
#include "kernel/virtmem.h"

#ifdef __cplusplus
}
#endif