[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [Minios-devel] [UNIKRAFT PATCH v2 6/8] lib/ukboot: Initialize platform time after interrupt subsystem
Reviewed-by: Yuri Volchkov <yuri.volchkov@xxxxxxxxx> Simon Kuenzer <simon.kuenzer@xxxxxxxxx> writes: > On some platforms the timers have a dependency to the interrupt > subsystem. Becasue of this reason, the timers should get > initialized afterwards. > > Signed-off-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx> > --- > lib/ukboot/boot.c | 10 +++++++--- > 1 file changed, 7 insertions(+), 3 deletions(-) > > diff --git a/lib/ukboot/boot.c b/lib/ukboot/boot.c > index 202010a..0609efe 100644 > --- a/lib/ukboot/boot.c > +++ b/lib/ukboot/boot.c > @@ -131,9 +131,6 @@ void ukplat_entry(int argc, char *argv[]) > STRINGIFY(UK_CODENAME) " " STRINGIFY(UK_FULLVERSION)); > #endif > > - uk_printd(DLVL_INFO, "Initialize platform time...\n"); > - ukplat_time_init(); > - > uk_printd(DLVL_INFO, "Pre-init table at %p - %p\n", > __preinit_array_start, &__preinit_array_end); > ukplat_ctor_foreach(__preinit_array_start, __preinit_array_end, i) { > @@ -207,12 +204,19 @@ void ukplat_entry(int argc, char *argv[]) > } > if (unlikely(!a)) > uk_printd(DLVL_WARN, "No suitable memory region for memory > allocator. Continue without heap\n"); > +#endif > > +#if LIBUKALLOC > + uk_printd(DLVL_INFO, "Initialize IRQ subsystem...\n"); > rc = ukplat_irq_init(a); > if (unlikely(rc != 0)) > UK_CRASH("Could not initialize the platform IRQ subsystem."); > #endif > > + /* On most platforms the timer depend on an initialized IRQ subsystem */ > + uk_printd(DLVL_INFO, "Initialize platform time...\n"); > + ukplat_time_init(); > + > #if LIBUKSCHED > /* Init scheduler. */ > s = uk_sched_default_init(a); > -- > 2.7.4 > -- Yuri Volchkov Software Specialist NEC Europe Ltd Kurfürsten-Anlage 36 D-69115 Heidelberg _______________________________________________ Minios-devel mailing list Minios-devel@xxxxxxxxxxxxxxxxxxxx https://lists.xenproject.org/mailman/listinfo/minios-devel
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |