Make OS_PAGE_SIZE public again#609

jprendes merged 1 commit intohyperlight-dev:mainhyperlight-dev/hyperlight:mainfrom

jprendes:expose-os-page-sizejprendes/hyperlight:expose-os-page-sizeCopy head branch name to clipboard