// Copyright 2016 The Fuchsia Authors | |
// Copyright (c) 2009 Corey Tabaka | |
// | |
// Use of this source code is governed by a MIT-style | |
// license that can be found in the LICENSE file or at | |
// https://opensource.org/licenses/MIT | |
#pragma once | |
#include <lib/cbuf.h> | |
void platform_init_keyboard(cbuf_t* buffer); | |
int platform_read_key(char* c); | |
// Reboot the system via the keyboard, returns on failure. | |
void pc_keyboard_reboot(void); |