About Prebuilt Image

For LibOS

launchpad

TODO

process_builder

let reserve_size = util::page_end((info.base + info.len) / 2) - info.base;

in src/lib/process_builder/src/lib.rs changed like this:

let reserve_size = util::page_end(info.len / 2);