smartos smf manifest