| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| // Choose a "standard" baud rate to make it possible to use stty/screen directly |
| const unsigned long UART_BAUD_RATE = 9600; |
| const unsigned long UART_BAUD_RATE = 230400; |
| static inline void try_launch(void) { |
| int main(int argc, char **argv) { |
| uart_init(UART_BAUD_RATE); |
| uart_send_str("Bootstrap failed with status code: "); |
| // Currently the only way to recover is by a hard reset. |
| uart_send_str("Jump!\r\n"); |
| while (!uart_tx_empty()) { |