if {[have_spec linux]} { puts "Platform is unsupported. (rtc driver support)" exit 0 } # # Build # set build_components { core init timer drivers/rtc server/vfs test/gmock } build $build_components create_boot_directory # # Generate config # install_config { } # # Boot image # build_boot_image { core init ld.lib.so timer vfs libc.lib.so vfs.lib.so libm.lib.so posix.lib.so stdcxx.lib.so rtc_drv gmock.lib.so gtest.lib.so gmock } append qemu_args " -nographic " run_genode_until {.*child "gmock" exited with exit value 0} 1000