I've been running MicroOS on my x250 for a couple of weeks now and ts been real stable.