Switch to non-compartmentalized CHERI version

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

5 stars 2 forks source link

Switch to non-compartmentalized CHERI version #1223

Closed podhrmic closed 3 years ago

podhrmic commented 3 years ago

and hardcode return address to the fault handler. That should fix the ECU crashes. Or validate whether the compartmentalized version of Cheri works as expected.

podhrmic commented 3 years ago

Might not be necessary after https://github.com/GaloisInc/BESSPIN-LFS/commit/df4a16296fbe0570c3ee9272156f62acde1c2ceb - testing needed

podhrmic commented 3 years ago

Cheri sill mysteriously crashes in real environment:

<<<< Fault in Task: prvCanRxTask: Compartment #12: /lib/libfreertos_tcpip.a:riscv_hal_eth.c.8.o
<<<< Fault in Task: prvCanRxTask: Compartment #11: /lib/libcyberphys.a:canlib.c.1.o
00:13:34.448 (prvCanRxTask) recv_can_message returned 6

dmzimmerman commented 3 years ago

Interesting. And it's still crashing in the Ethernet HAL... was the increased number of buffers compiled into this version?

podhrmic commented 3 years ago

Not relevant anymore - CHERI works now.