> RTEMS has BSPs for a couple of simulators that > do not have a source for clock tick interrupts. > We simulate the passage of time by having a special > IDLE task advance time. This works well enough > when all tasks block but if a test depends on > something like timeslice expiration, that won't > happen. > > My questions are... > > + Is this sufficient to pass a reasonable subset > of the ACATS?
It should be, since standard Ada semantics assume no timeslicing, and run-until-blocked semantics, which is basically what you described above. Arno