void bsp_cleanup(void)
{
  static   char line[]="\nEXECUTIVE SHUTDOWN! Any key to reboot...";
  /*
   * AT this point, the console driver is disconnected => we must
   * use polled output/input. This is exactly what printk
   * does.
   */
  printk("\n");
  printk(line);
  while (uart_poll_read(0) < 0) continue;

  /* rtemsReboot(); */
}
Beispiel #2
0
static int _BSP_get_char(void)
{
  return uart_poll_read(0);
}
Beispiel #3
0
static int     uart_read(int minor)
{
    return uart_poll_read(minor);
}