/*
 * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef _HARDWARE_PLATFORM_DEFS_H
#define _HARDWARE_PLATFORM_DEFS_H

#define NUM_CORES 2u

#define NUM_DMA_CHANNELS 12u

#define NUM_TIMERS 4u

#define NUM_IRQS 32u

#define NUM_SPIN_LOCKS 32u

#define XOSC_MHZ 12

#define NUM_SPIN_LOCKS 32u

#endif