diff --git a/repos/libports/run/libc_block.run b/repos/libports/run/libc_block.run index 0b41093904..1c0ea08a1c 100644 --- a/repos/libports/run/libc_block.run +++ b/repos/libports/run/libc_block.run @@ -73,10 +73,12 @@ set config { append_platform_drv_config append_if $use_ahci_drv config { - - + + - + + + } @@ -104,7 +106,7 @@ set boot_modules { test-libc_block } -lappend_if $use_ahci_drv boot_modules ahci +lappend_if $use_ahci_drv boot_modules ahci_drv lappend_if $use_sd_card_drv boot_modules sd_card_drv append_platform_drv_boot_modules