//
// Created by red031000 on 2020-05-05.
//

#ifndef POKEDIAMOND_OS_TCM_H
#define POKEDIAMOND_OS_TCM_H

#include "consts.h"

u32 OS_GetDTCMAddress(void);

#endif //POKEDIAMOND_OS_TCM_H