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

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Some minor comments, v3 will probably go in.
Thanks a lot!

On 16.03.2018 12:02, Dafna Hirschfeld wrote:
> 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(+)
_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel