libsel4bench/arch_include/arm/sel4bench/arch/sel4bench.h

/*
 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */
#pragma once

#include <stdint.h>
#include <sel4bench/sel4_arch/sel4bench.h>


#include <sel4bench/armv/sel4bench.h>