replaced uart out with os_printf