12 lines
228 B
C
12 lines
228 B
C
#include <stdint.h>
|
|
#include <system/system.h>
|
|
#include <sysdefs/ipcpipe.h>
|
|
#include <sysdefs/devctl.h>
|
|
#include <printf/printf.h>
|
|
|
|
extern Dev_t termdev;
|
|
|
|
void putchar_(char c) {
|
|
devctl(&termdev, 0x00, (uint8_t *)&c, 1, 0);
|
|
}
|