/* * Copyright (c) 2020 Nuvoton Technology Corporation. * * SPDX-License-Identifier: Apache-2.0 */ / { /* TODO: Add GPIOs for power sequence later */ };