blob: 060f7f9b0fdf9e7d97e1542e7ee6c0cd37706fd5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/nekernel-org/nekernel
#ifndef DRIVERKIT_IO_H
#define DRIVERKIT_IO_H
#include <DriverKit/String.h>
/// @brief print character into UART.
DDK_EXTERN void kputc(const char ch);
/// @brief print string to UART.
/// @param message string to transmit to UART.
DDK_EXTERN void kprint(const char* message);
#endif
|
