#ifndef _KERNEL_DEVICE_TERMINAL_H
#define _KERNEL_DEVICE_TERMINAL_H

bool terminal_init (void* arg);
void terminal_fini (void);
int terminal_putstr (void* a1, void* a2, void* a3, void* a4);

#endif // _KERNEL_DEVICE_TERMINAL_H