/**
 * @file
 *
 * @date 15.03.10
 * @author Anton Bondarev
 */

#ifndef MICROBLAZE_TESTMMU_CORE_H_
#define MICROBLAZE_TESTMMU_CORE_H_

#include <stdint.h>
#include <hal/mm/mmu_core.h>

#endif /* MICROBLAZE_TESTMMU_CORE_H_ */
