An example of how to pass parameters to a unikernel