I have a stm32f4 nucleo board. Under Windows, I started a project using CubeMX and did a bunch of development. Everything was working as expected.I then moved to Linux (Ubuntu 19.04), and the device just started hard faulting constantly:(gdb) bt #0 ...