| #include <stdalign.h> |
| #include <stdint.h> |
| |
| #include "hf/mm.h" |
| #include "hf/std.h" |
| |
| #include "vmapi/hf/call.h" |
| |
| alignas(4096) uint8_t kstack[4096]; |
| |
| static alignas(PAGE_SIZE) uint8_t send_page[PAGE_SIZE]; |
| static alignas(PAGE_SIZE) uint8_t recv_page[PAGE_SIZE]; |
| |
| static hf_ipaddr_t send_page_addr = (hf_ipaddr_t)send_page; |
| static hf_ipaddr_t recv_page_addr = (hf_ipaddr_t)recv_page; |
| |
| void kmain(void) |
| { |
| hf_vm_configure(send_page_addr, recv_page_addr); |
| hf_vm_configure(send_page_addr, recv_page_addr); |
| |
| /* Loop, forward messages to the primary. */ |
| for (;;) { |
| uint64_t ret = hf_mailbox_receive(true); |
| uint32_t size = HF_MAILBOX_RECEIVE_SIZE(ret); |
| memcpy(send_page, recv_page, size); |
| hf_mailbox_clear(); |
| hf_mailbox_send(HF_PRIMARY_VM_ID, size); |
| } |
| } |