blob: 2872f25137ca5944028196521088b288208fced0 [file] [log] [blame]
Alistair Francis103f80d2020-02-24 09:51:37 -08001// This example just prints "Hello Tock World" to the terminal.
JOE1994ec659912020-07-04 23:46:50 -04002// Run `tockloader listen`, or use any serial program of your choice
3// (e.g. `screen`, `minicom`) to view the message.
Alistair Francis103f80d2020-02-24 09:51:37 -08004
5#![no_std]
6
Alistair Francise5f74c32020-09-11 15:21:14 -07007use libtock::println;
Alistair Francis103f80d2020-02-24 09:51:37 -08008use libtock::result::TockResult;
9
Johnathan Van Why074fa7d2020-10-14 17:06:50 -070010libtock_core::stack_size! {0x400}
11
Alistair Francis103f80d2020-02-24 09:51:37 -080012#[libtock::main]
13async fn main() -> TockResult<()> {
14 let drivers = libtock::retrieve_drivers()?;
15
Alistair Francise5f74c32020-09-11 15:21:14 -070016 drivers.console.create_console();
Alistair Francis103f80d2020-02-24 09:51:37 -080017
Alistair Francise5f74c32020-09-11 15:21:14 -070018 println!("Hello Tock World");
Alistair Francis103f80d2020-02-24 09:51:37 -080019
20 Ok(())
21}