Scott Dixon
Scott Dixon
Script an interaction between the S32K running libuavcan and the linux test host:  This test should be isolated to the media layer using a "shunt" interface which provides access...
(This task assumes #140 has been merged) Allow for CAN 2.0 messages to be sent and received when CAN-FD support has been compiled into libuavcan. This will require changes to...
Our GA criteria requires two distinct integrations. We'll use px4 as one of these. This is also a placeholder issue. Hopefully we can decompose this work into a few smaller...
(Originally from Pavel on https://github.com/UAVCAN/nunavut/issues/98#issuecomment-557679652) I had a random idea occur to me earlier in the week that needs to be shared. It's based on the concept of small-object allocator...
As part of #236 we need to provide a heap allocator that has some specific requirements for px4. @pavel-kirienko or @davids5 should have the requirements.
1. Improve on-target failure diagnostics * Refuse tests that blow through stack or heap boundaries. * Override fatal error vector and log. * Switch to SWO 2. Create real CAN...
Use systick to simulate time to allow timestamps and test durations reports from googletest.
 The above diagram shows how memory is copied from peripheral memory into system memory before it is again copied by the transport layer into the final message data passed...
``` libuavcan::transport::media::CAN::Frame my_frame; LIBUAVCAN_TRACE_FRAME("MyComponent", my_frame); ```
Look into https://www.cprover.org/cbmc/ and see if it would be a useful checker for libuavcan.