Re: Delay until in Ada seems not to work

Hi Mattia, this is very interesting. Previous work I did for ESA using formal methods was looking at separation kernel verification, with XtratuM code as an example. I remember that common use case was where one of the seperation kernel partitions contained an instance of RTEMS - I understan

Re: Delay until in Ada seems not to work

On 27/01/2021 15:27, Mattia Bottaro wrote: I've not specified it because I'm in a "non-conventional" situation: I'm running RTEMS over XtratuM: >. I'm using a BSP developed by FentISS. The hardware is the zynq

Re: Delay until in Ada seems not to work

I've not specified it because I'm in a "non-conventional" situation: I'm running RTEMS over XtratuM: . I'm using a BSP developed by FentISS. The hardware is the zynq7000. Il giorno mer 27 gen 2021 alle ore 14:25 Sebastian Huber < sebastian.hu...@embedded-b

Re: Delay until in Ada seems not to work

On 27/01/2021 11:54, Mattia Bottaro wrote: If you look at rtems_init.c file in that folder (>), you can see that there is no time of day. I thought

Re: Delay until in Ada seems not to work

If you look at rtems_init.c file in that folder (< https://git.rtems.org/ada-examples/snapshot/ada-examples-4-10-2.tar.bz2>), you can see that there is no time of day. I thought it was ok since I'm running an example. Anyway, I've added time of day in rtems_init.c with these values: https://github