/*
 * Copyright (c) 2020 Henrik Brix Andersen <henrik@brixandersen.dk>
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#ifndef _SOC_H_
#define _SOC_H_


#define __MPU_PRESENT CONFIG_CPU_HAS_ARM_MPU

#endif /* _SOC_H_ */