commit 1a7bed9c4496fb6e6e722da807c71b917b9617ce
author Anna Lyons <Anna.Lyons@data61.csiro.au> Thu Apr 05 10:33:21 2018 +1000
committer Adrian Danis <Adrian.Danis@data61.csiro.au> Wed Apr 11 11:31:57 2018 +1000
tree 448d8aee4f71393588f7e4cbcda03e2217d02488
parent c75aff4b63f5646484025b461fcf086371361734

platsupport: s/ZF_LOGF/ZF_LOGE in serial init

This is not a fatal error: it's up to the app to decide that.

libsel4platsupport/src/serial.c

diff --git a/libsel4platsupport/src/serial.c b/libsel4platsupport/src/serial.c
index 6f4a760..1904840 100644
--- a/libsel4platsupport/src/serial.c
+++ b/libsel4platsupport/src/serial.c
@@ -88,7 +88,7 @@
     /* Allocate slot for the PS default serial's IRQ cap. */
     error = vka_cspace_alloc_path(vka, &serial_objects->serial_irq_path);
     if (error) {
-        ZF_LOGF("Failed to allocate serial IRQ slot.");
+        ZF_LOGE("Failed to allocate serial IRQ slot.");
         return error;
     }
 
@@ -99,7 +99,7 @@
      */
     error = sel4platsupport_arch_init_default_serial_caps(vka, vspace, simple, serial_objects);
     if (error) {
-        ZF_LOGF("Arch-specific serial cap init failed.");
+        ZF_LOGE("Arch-specific serial cap init failed.");
         return error;
     }