# Copyright (c) 2020 ARM Limited. All rights reserved. # SPDX-License-Identifier: Apache-2.0 target_sources(mbed-os PRIVATE hardware_init_MK64F12.c )