:: commit 399f767fa343500d365779ac0ba70f3ec731666b

diff --git a/common/protos/linux_risc.c b/common/protos/linux_risc.c
index 59571e66..db945111 100644
--- a/common/protos/linux_risc.c
+++ b/common/protos/linux_risc.c
@@ -121,6 +121,8 @@ void *prepare_device_tree_blob(char *config, char *cmdline) {
     // Load an initrd if requested and add it to the device tree.
     char *module_path = config_get_value(config, 0, "MODULE_PATH");
     if (module_path) {
+        print("linux: Loading module `%#`...\n", module_path);
+
         struct file_handle *module_file = uri_open(module_path);
         if (!module_file) {
             panic(true, "linux: failed to open module `%s`. Is the path correct?", module_path);
@@ -214,6 +216,8 @@ noreturn void linux_load(char *config, char *cmdline) {
         panic(true, "linux: KERNEL_PATH not specified");
     }
 
+    print("linux: Loading kernel `%#`...\n", kernel_path);
+
     if ((kernel_file = uri_open(kernel_path)) == NULL) {
         panic(true, "linux: failed to open kernel `%s`. Is the path correct?", kernel_path);
     }