[Minios-devel] [UNIKRAFT PATCH v2 0/3] Add time and thread info to debugs

[Dafna Hirschfeld <dafna3@xxxxxxxxx>]

Changes from v1:
1. separeate the the timestamp and thread info to two different patches.
2. use macro for the right formating for printing time as u64.
3. print the invalid pointer for threads not chreated with uksched library.


Dafna Hirschfeld (3):
  arch/time: Add macros for nanoseconds handling
  lib/ukdebug: Add timestamp to debug messages
  lib/ukdebug: Add thread info to debug messages

 include/uk/arch/time.h |  4 ++++
 lib/ukdebug/Config.uk  | 10 ++++++++++
 lib/ukdebug/print.c    | 48 ++++++++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 62 insertions(+)

-- 
2.7.4


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