#![no_std]

use libtock::result::TockResult;
use libtock::syscalls;
use matcha_config::*;

mod dprintf;

libtock_core::stack_size! {0x1000}

//------------------------------------------------------------------------------

#[libtock::main]
async fn main() -> TockResult<()> {
    dprintf!("sw/matcha/app/src/main.rs::main()\n");

    dprintf!("Booting sel4 from TockOS app!\n");
    let _result = syscalls::command(CAPSULE_ELFLOADER, CMD_ELFLOADER_BOOT_SEL4, 0, 0);
    dprintf!("Booting sel4 from TockOS app done!\n");

    Ok(())
}