|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Minios-devel] [UNIKRAFT PATCH 9/9] 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
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |