On 1/9/20 2:30 am, Andrew Butterfield wrote:
> Dear all,
>
> I am involved the in the ESA sponsored project RTEMS-SMP, to add
> tools and data for software qualification. Our focus is on the use
> of formal techniques to assist in software verification.
Excellent :)
> We have a developed a pr
On 3/9/20 12:49 am, Heinz Junkes wrote:
> Arghhh,
>
> as so often, if you are looking for a problem for a long time, then send the
> request to the list and
> then read the ticket again, you can "see" the cause.
You are not alone. I have no idea how many times I have done this. The act of
sitti
Arghhh,
as so often, if you are looking for a problem for a long time, then send the
request to the list and
then read the ticket again, you can "see" the cause.
Adding “-Wl,—gc-sections” to the LD_FLAGS solved the issue.
Sorry for the disturbance ...
Viele Grüße
Heinz Junkes
--
Experience dir
Unfortunately I can't build EPICS with i386/pc686 (rtems5.1) and libbsd.
I know Ticket #3985, I made everything new. But unfortunately it does
not work:
/home/h1/GSOC/RTEMS//bin/i386-rtems5-gcc --pipe
-B/home/h1/GSOC/RTEMS/i386-rtems5/pc686/lib/ -specs bsp_specs -qrtems
-fasm -mtune=penti
