// Copyright 2023 Nick Brassel (@tzarc)
// SPDX-License-Identifier: GPL-2.0-or-later
#pragma once

#ifndef CORTEX_ENABLE_WFI_IDLE
#    define CORTEX_ENABLE_WFI_IDLE TRUE
#endif // CORTEX_ENABLE_WFI_IDLE

#ifndef SERIAL_NUMBER_USE_HARDWARE_ID
#    define SERIAL_NUMBER_USE_HARDWARE_ID TRUE
#endif // SERIAL_NUMBER_USE_HARDWARE_ID