#include <stdint.h>
#include <kb.h>
#include <m/system.h>
#include <m/kb_device.h>
#include <m/status.h>

int kb_read_key (void) {
  char ch = 0;
  int r = device_do (KB_DEVICE, KB_READ_KEY, &ch, NULL, NULL, NULL);

  if (r == ST_OK)
    return (int)ch;
  else
    return r;
}