drivers: Add skeleton for the ukrandom subsystem

Add skeleton for the ukrandom driver subsystem. This will host drivers
that implement the libukrandom driver API.

Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Maria Pana <maria.pana4@gmail.com>
Reviewed-by: Alex Apostolescu <alexx.apostolescu@gmail.com>
Reviewed-by: Simon Kuenzer <simon@unikraft.io>
Approved-by: Simon Kuenzer <simon@unikraft.io>
GitHub-Closes: #1496

diff --git a/drivers/Config.uk b/drivers/Config.uk
index 1eeca1ed5f6d24b2e761ecfc475be5cc57a8e3f0..70d43a21b6ae66dc9e5c29c90671edee67310860 100644 (file)
--- a/drivers/Config.uk
+++ b/drivers/Config.uk
@@ -1,29 +1,23 @@
 menu "Bus drivers"
-
 source "$(shell,$(UK_BASE)/support/build/config-submenu.sh -q -o '$(KCONFIG_DIR)/drivers-bus.uk' -r '$(KCONFIG_DRIV_BASE)/ukbus' -l '$(KCONFIG_DRIV_BASE)/ukbus' -e '$(KCONFIG_EXCLUDEDIRS)')"
-
 endmenu
 
 menu "Interrupt controller"
-
 source "$(shell,$(UK_BASE)/support/build/config-submenu.sh -q -o '$(KCONFIG_DIR)/drivers-intctlr.uk' -r '$(KCONFIG_DRIV_BASE)/ukintctlr' -l '$(KCONFIG_DRIV_BASE)/ukintctlr' -e '$(KCONFIG_EXCLUDEDIRS)')"
+endmenu
 
+menu "Random Number Generator"
+source "$(shell,$(UK_BASE)/support/build/config-submenu.sh -q -o '$(KCONFIG_DIR)/drivers-random.uk' -r '$(KCONFIG_DRIV_BASE)/ukrandom' -l '$(KCONFIG_DRIV_BASE)/ukrandom' -e '$(KCONFIG_EXCLUDEDIRS)')"
 endmenu
 
 menu "Serial console"
-
 source "$(shell,$(UK_BASE)/support/build/config-submenu.sh -q -o '$(KCONFIG_DIR)/drivers-console.uk' -r '$(KCONFIG_DRIV_BASE)/ukconsole' -l '$(KCONFIG_DRIV_BASE)/ukconsole' -e '$(KCONFIG_EXCLUDEDIRS)')"
-
 endmenu
 
 menu "Virtio"
-
 source "$(shell,$(UK_BASE)/support/build/config-submenu.sh -q -o '$(KCONFIG_DIR)/drivers-virtio.uk' -r '$(KCONFIG_DRIV_BASE)/virtio' -l '$(KCONFIG_DRIV_BASE)/virtio' -e '$(KCONFIG_EXCLUDEDIRS)')"
-
 endmenu
 
 menu "Xen"
-
 source "$(shell,$(UK_BASE)/support/build/config-submenu.sh -q -o '$(KCONFIG_DIR)/drivers-xen.uk' -r '$(KCONFIG_DRIV_BASE)/xen' -l '$(KCONFIG_DRIV_BASE)/xen' -e '$(KCONFIG_EXCLUDEDIRS)')"
-
 endmenu

diff --git a/drivers/Makefile.uk b/drivers/Makefile.uk
index c0421bdbdb7632b4e93b8cde26c33b9a0656d610..109657fa323a655c7ecc07752f47bd1a876f1d58 100644 (file)
--- a/drivers/Makefile.uk
+++ b/drivers/Makefile.uk
@@ -7,8 +7,9 @@
 UK_DRIV_BASE := $(CONFIG_UK_BASE)/drivers
 
 $(eval $(call import_lib,$(UK_DRIV_BASE)/ukbus))
-$(eval $(call import_lib,$(UK_DRIV_BASE)/ukintctlr))
 $(eval $(call import_lib,$(UK_DRIV_BASE)/ukconsole))
+$(eval $(call import_lib,$(UK_DRIV_BASE)/ukintctlr))
+$(eval $(call import_lib,$(UK_DRIV_BASE)/ukrandom))
+$(eval $(call import_lib,$(UK_DRIV_BASE)/ukrtc))
 $(eval $(call import_lib,$(UK_DRIV_BASE)/virtio))
 $(eval $(call import_lib,$(UK_DRIV_BASE)/xen))
-$(eval $(call import_lib,$(UK_DRIV_BASE)/ukrtc))

diff --git a/drivers/ukrandom/Makefile.uk b/drivers/ukrandom/Makefile.uk
new file mode 100644 (file)
index 0000000..c3e20a0
--- /dev/null
+++ b/drivers/ukrandom/Makefile.uk
@@ -0,0 +1,7 @@
+################################################################################
+#
+# Driver registrations
+#
+################################################################################
+
+UK_DRIV_RANDOM_BASE := $(UK_DRIV_BASE)/ukrandom