Re: [PATCH v3 1/6] sandbox: Add function os_flush()