blob: 796007adf76306bc3a75b560a93806f2dfb946fd [file] [log] [blame]
// This example just prints "Hello Tock World" to the terminal.
// Run `tockloader listen`, or use any serial program of your choice
// (e.g. `screen`, `minicom`) to view the message.
use libtock::println;
use libtock::result::TockResult;
// Must be at least 4k in debug builds.
libtock_core::stack_size! {0x1000}
async fn main() -> TockResult<()> {
let drivers = libtock::retrieve_drivers()?;
println!("Hello Tock World");