/*
* Copyright (c) 2019 Linaro Limited
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <nxp/nxp_lpc55S6x.dtsi>
/ {
cpus {
/delete-node/ cpu@1;
};