Update GenOS.h