Re: Fatal source exception in loopback sample on powerpc/qoriq_e6500_64

2020-09-14 Thread Mr. Andrei Chichak
Not knowing much about what you are doing, but working with other members of the PPC family (MPC5634M) currently, your error dump is showing an IVOR2, which is a data storage interrupt, but doesn’t show some of the interesting registers. SRRO will point at the instruction that caused the fault

Re: Fatal source exception in loopback sample on powerpc/qoriq_e6500_64

2020-09-14 Thread Sebastian Huber
Hello Steven, On 14/09/2020 19:11, Clukey (US), Steven A wrote: I am attempting to run the `loopback.exe` sample application provided with RTEMS on the PowerPC qoriq_e6500_64 BSP, but unfortunately it is crashing. the old network stack doesn't work on 64-bit targets. For this BSP, use the ne

Fatal source exception in loopback sample on powerpc/qoriq_e6500_64

2020-09-14 Thread Clukey (US), Steven A
Hi, I am attempting to run the `loopback.exe` sample application provided with RTEMS on the PowerPC qoriq_e6500_64 BSP, but unfortunately it is crashing. The crash seems to be coming from here: `cpukit/libnetworking/rtems/rtems_glue.c` line 230. It appears to be due to the fact that the `route

Re: Using model checking to do test generation for RTEMS

2020-09-14 Thread Andrew Butterfield
Dear Chris, > On 7 Sep 2020, at 04:21, Chris Johns wrote: > > ... stuff deleted ... >>> How is the log from the test output used to validate the model? >> >> The test output shows what the test did, so it can be used by someone >> familiar >> with the >> requirements to judge if the test ex