occlum/src/pal/pal.lds
Zongmin 0c3466f4ad Add three new occlum commands: start, exec and stop
Usage:
//start the occlum server
occlum start

//execute the command inside occlum
occlum exec [cmd] [-- <args>]

//stop the occlum server
occlum stop
2020-05-15 03:02:42 +00:00

11 lines
174 B
Plaintext

{
global:
occlum_pal_get_version;
occlum_pal_init;
occlum_pal_exec;
occlum_pal_kill;
occlum_pal_destroy;
local:
*;
};