use reconOS with userspace osif interface