search

alexeyk13 / rexos

RExOS - Realtime Exokernel Operating System
GNU Lesser General Public License v3.0
98 stars 20 forks source link

replace second pulse call from RTC irq. #7

Closed roma-jam closed 7 years ago

roma-jam commented 7 years ago

ksystime_second_pulse() will call instead of systime_second_pulse().

ksystime_second_pulse() function is straight call for system second pulse. But system_second_pulse() use svc to call system second pulse. On exodriver system svc case SVC_SYSTIME_SECOND_PULSE does not enabled.