[Minios-devel] [UNIKRAFT PATCH 0/2] Add time and thread info to debug messages

[Dafna Hirschfeld <dafna3@xxxxxxxxx>]

Currently it is supported only on xen platform since it's the only one
that implements ukplat_monotonic_clock, and support uksched.

For the boot process that was not created with uksched, no info about the
thread is printed.

Dafna Hirschfeld (2):
  arch/time: Macro for sub-seconds part of nanoseconds
  lib/ukdebug: Add time and thread info to debugs

 include/uk/arch/time.h |  1 +
 lib/ukdebug/Config.uk  | 10 ++++++++++
 lib/ukdebug/print.c    | 50 ++++++++++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 61 insertions(+)

-- 
2.7.4


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