cargo-hyperlight 0.1.12

cargo subcommand to build hyperlight guest binaries
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#include <hyperlight_guest.h>
#include <macro.h>
#include <stdio.h>

int say_hello(const char *string) {
  int n = printf("Hello %s\n", string);
  fflush(stdout);
  return n;
}

HYPERLIGHT_WRAP_FUNCTION(say_hello, Int, 1, String);
void hyperlight_main(void)
{
  HYPERLIGHT_REGISTER_FUNCTION("SayHello", say_hello);
}

hl_Vec *c_guest_dispatch_function(const hl_FunctionCall *function_call) {
  return NULL;
}