Iker Amescua wrote:
>
> Changing to handle_ir_level make the system boot a bit further, but
> still locks.
>
> In the ns921x_timer_init function there is a call to to
> clocksource_register(&ns921x_clocksource) and it is configured (timer 0)
> in enabled mode REGSET(tc, SYS_TCx, TE, EN), up counter, 32 bits
> autoreload, so I think this is the clocksource. I attach full
> time-ns921x.c (I hope I haven't missed anything).
Yes, you register the clocksource and clockevents, but that does not
make the Linux kernel use them. If it has other clocksources, it may
decide to use them. Or maybe the clockevents support is not even
compiled because the GENERIC_CLOCKEVENTS and GENERIC_CLOCKSOURCE are not
in your kernel configuration.
Anyway, you should do things step by step:
- run the I-pipe patch alone, without Xenomai
- try and get the kernel booting, find where it is stuck, (I would say
probably somewhere in the handling of interrupts, if that is the case,
you need to check some doc about how your interrupt controller works,
how the EOI works, etc...)
- when it boots, try cat /proc/timer_list and see what is the status of
clockevents/clocksource, try to get it to use the clocksource and
clockevents you implemented.
- enable Xenomai.
--
Gilles.
_______________________________________________
Adeos-main mailing list
[email protected]
https://mail.gna.org/listinfo/adeos-main
