platform_system_libfdio