tinyOSF update