| /* | |
| * Copyright (C) 2023 Intel Corporation | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| /* | |
| * The overlay file should be used to enable any | |
| * dts nodes required by this shell application for this | |
| * board. | |
| */ | |
| &sip_smc { | |
| status = "okay"; | |
| zephyr,num-clients = <2>; | |
| }; |