This file marks the pattern MicroOS to be installed.
