/*
 * Copyright 2024 NXP
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef PLAT_CONSOLE_H
#define PLAT_CONSOLE_H

void console_s32g2_register(void);

#endif