1//
2// Copyright 2018, Data61, CSIRO (ABN 41 687 119 230)
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6#![no_std]
7
8use core::panic::PanicInfo;
9
10
11#[allow(dead_code)]
12#[no_mangle]
13extern "C" {
14    fn printf(val: *const u8);
15}
16
17// This is the camkes entry point for this app
18#[no_mangle]
19pub extern "C" fn run() -> isize {
20    unsafe {printf(b"Hello, world!!\n\0" as *const u8)};
21    0
22}
23
24
25#[panic_handler]
26fn panic(_info: &PanicInfo) -> ! {
27    loop {}
28}
29