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

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Thanks a lot for this patch series. It is fine that it works for Xen 
only, currently. We are going to release a scheduling patch series the 
upcoming weeks that will add the missing implementation for the other 
platforms.
I put my comments inline. I am looking forward for v2. ;-)

Thanks,

Simon

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