// SPDX-License-Identifier: GPL-3.0-or-later // Copyright (c) 2026 0xKarinyash #pragma once int IOSerialInit(); void IOSerialWriteChar(char character); void IOSerialWrite(const char *string);