#ifndef DEV_PS2KBDEV_H_
#define DEV_PS2KBDEV_H_

#include <stdint.h>
#include <stddef.h>
#include "dev.h"

void ps2kbdev_init(void);

#endif // DEV_PS2KBDEV_H_