#ifndef PS2_KBD_H
#define PS2_KBD_H

#include <stdint.h>

void keyboard_init();
void keyboard_write(uint8_t);

#endif