[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Minios-devel] [UNIKRAFT PATCH v2 10/10] lib/ukboot: Correct line ending of UK_CRASH() messages



Signed-off-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>
---
 lib/ukboot/boot.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/ukboot/boot.c b/lib/ukboot/boot.c
index cdb1ea3..174dd5b 100644
--- a/lib/ukboot/boot.c
+++ b/lib/ukboot/boot.c
@@ -230,7 +230,7 @@ void ukplat_entry(int argc, char *argv[])
        else {
                rc = ukplat_memallocator_set(a);
                if (unlikely(rc != 0))
-                       UK_CRASH("Could not set the platform memory 
allocator.");
+                       UK_CRASH("Could not set the platform memory 
allocator\n");
        }
 #endif
 
@@ -238,7 +238,7 @@ void ukplat_entry(int argc, char *argv[])
        uk_pr_info("Initialize IRQ subsystem...\n");
        rc = ukplat_irq_init(a);
        if (unlikely(rc != 0))
-               UK_CRASH("Could not initialize the platform IRQ subsystem.");
+               UK_CRASH("Could not initialize the platform IRQ subsystem\n");
 #endif
 
        /* On most platforms the timer depend on an initialized IRQ subsystem */
@@ -249,7 +249,7 @@ void ukplat_entry(int argc, char *argv[])
        /* Init scheduler. */
        s = uk_sched_default_init(a);
        if (unlikely(!s))
-               UK_CRASH("Could not initialize the scheduler.");
+               UK_CRASH("Could not initialize the scheduler\n");
 #endif
 
        tma.argc = argc;
@@ -258,7 +258,7 @@ void ukplat_entry(int argc, char *argv[])
 #if CONFIG_LIBUKSCHED
        main_thread = uk_thread_create("main", main_thread_func, &tma);
        if (unlikely(!main_thread))
-               UK_CRASH("Could not create main thread.");
+               UK_CRASH("Could not create main thread\n");
        uk_sched_start(s);
 #else
        /* Enable interrupts before starting the application */
-- 
2.7.4


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.