/*
 * kbd.h
 * Keyboard support for BIOS.
 * 
 * Copyright (C) 2008  Nguyen Anh Quynh <aquynh@gmail.com>
 * 
 * This file may be distributed under the terms of the GNU GPLv3 license.
 */

#ifndef __KBD_H
#define __KBD_H

#include "types.h"

void kbd_setup();

#endif