Updated Mini-OS instructions