/* SPDX-License-Identifier: Apache-2.0
 * Copyright 2024 The TenonOS Authors
 */

#include <uk/tty/ns8250.h>
#include <d9/console.h>

void _libd9plat_init_console(void *dtb)
{
	ns8250_console_init(dtb);
}