Function main 

pub(crate) fn main()

Empty main so cargo build --workspace (host target) succeeds without including any of the bare-metal guest code. The real entry point on x86_64-unknown-none is entrypoint from the linked guestbin.