# # \brief Test of FatFS block-io implementation # \author Emery Hemingway # \date 2017-07-31 # if {[have_spec odroid_xu] || [have_spec zynq]} { puts "Run script does not support this platform." exit 0 } # use SD on ARM set use_sd_card_drv [expr [have_spec pbxa9]] # use AHCI on x86 set use_ahci [expr [have_spec x86] && ![have_spec linux]] # use vfs_block on Linux set use_vfs_block [have_spec linux] if {[expr ![have_include "power_on/qemu"] && !$use_vfs_block]} { puts "\nPlease setup your native sd or hard drive. Remove this fail stop"; puts "check when you have prepared your native environment.\n"; exit 0 } # # Build # set build_components { test/fatfs_block_io } lappend_if $use_sd_card_drv build_components drivers/sd_card source ${genode_dir}/repos/base/run/platform_drv.inc append_platform_drv_build_components build $build_components create_boot_directory set depot_pkgs "[depot_user]/src/[base_src] [depot_user]/src/init" lappend_if $use_ahci depot_pkgs [depot_user]/src/ahci_drv lappend_if $use_vfs_block depot_pkgs [depot_user]/src/vfs_block lappend_if $use_vfs_block depot_pkgs [depot_user]/src/vfs_import import_from_depot {*}$depot_pkgs # # Generate config # append config { } append_platform_drv_config append_if $use_ahci config { } append_if $use_sd_card_drv config { } append_if $use_vfs_block config { } append config { } install_config $config # # Boot modules # set disk_image "bin/test.hda" set cmd "dd if=/dev/zero of=$disk_image bs=512 count=4096" puts "creating disk image: $cmd" catch { exec sh -c $cmd } # generic modules set boot_modules { libc.lib.so vfs.lib.so libm.lib.so test-fatfs_block_io } lappend_if $use_sd_card_drv boot_modules pbxa9_sd_card_drv lappend_if $use_vfs_block boot_modules vfs_import.lib.so append_platform_drv_boot_modules build_boot_image $boot_modules # # Qemu # append qemu_args " -nographic " append_if $use_ahci qemu_args " -drive id=disk,file=$disk_image,format=raw,if=none -device ahci,id=ahci -device ide-drive,drive=disk,bus=ahci.0 -boot d" append_if $use_sd_card_drv qemu_args " -drive file=$disk_image,format=raw,if=sd,cache=writeback " run_genode_until {.*child "test-fatfs_block_io" exited with exit value 0.*} 60 exec rm -f $disk_image