lib/ukboot: Remove parsing of ukmmio regions from ukboot

Now that ukmmio uses uklibparam it is no longer required that
it parses command line virtio-mmio definitions at ukboot.

Signed-off-by: Michalis Pappas <michalis@unikraft.io>

diff --git a/lib/ukboot/boot.c b/lib/ukboot/boot.c
index fb39e01cf76a5f4e17bdeb93ca467e68d52b9f14..da316fe218e9510b0ef48743876ccb1e432eb9a2 100644 (file)
--- a/lib/ukboot/boot.c
+++ b/lib/ukboot/boot.c
@@ -324,15 +324,6 @@ void ukplat_entry(int argc, char *argv[])
        uk_pr_info("Initialize platform time...\n");
        ukplat_time_init();
 
-#if CONFIG_LIBUKMMIO
-       uk_pr_info("Searching for MMIO devices\n");
-       for (int i = 1; i < argc; i++) {
-               if (!strncmp(argv[i], "virtio_mmio.device=", 19)) {
-                       uk_mmio_add_dev(argv[i]);
-               }
-       }
-#endif
-
 #if !CONFIG_LIBUKBOOT_NOSCHED
        uk_pr_info("Initialize scheduling...\n");
 #if CONFIG_LIBUKBOOT_INITSCHEDCOOP