blob: 28cf3038ef14cb6e1b12e3c8ea643f39834d8225 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// Copyright 2024-2025, 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/str.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
|
