Jan Kiszka wrote:
> This patch gets rid of code that is no longer needed or valid:
> 
>  - x86_64 APIC frequency is now delivered via ipipe_request_tickdev

Ack.

>  - __ipipe_tick_irq is maintained via ipipe_update_tick_evtdev also on
>    x86_64

Client RTOS may/do assume that timing is always delivered through the
local APIC timer on x86_64. We could merge that and allow the 8253 to be
used as the timer device, but this would not work in practice.

>  - global_clock_event is no longer needed by ipipe_32.c

Ack.

>  - ipipe_tune_timer was dead code in x86_64 (there was no prototype in
>    whatever header), and this arch does not really have a legacy code
>    base to maintain, so kill this function
> 

Ack.

-- 
Philippe.


_______________________________________________
Adeos-main mailing list
[email protected]
https://mail.gna.org/listinfo/adeos-main

Reply via email to