18:03 <wyager[m]> What's the consideration between ending a panic handler with udf (panic_probe) vs cortex_m::peripheral::SCB::sys_reset()(panic_persist)?

18:06 <JamesMunns[m]> udf escalates into a hardfault, reset resets

18:07 <JamesMunns[m]> IIRC hardfaults in cortex-m-rt default to an endless loop?

18:10 <JamesMunns[m]> (technically what UDF does is a little different between M0 and other M3/4/7+ targets, but it'll trigger an exception, which if you aren't handling, will by default go into an endless loop. If you don't have a watchdog, it'll just spin forever instead of rebooting)

18:16 <wyager[m]> <JamesMunns[m]> "udf escalates into a hardfault..." <- Gotcha. I have this in my app:... (full message at <https://catircservices.org/_matrix/media/v3/download/catircservices.org/QYWunaAUmuhGobaawLLQOIcm>)

18:20 <JamesMunns[m]> Uh I think if you fault while faulting you get a doublefault? I'm not sure if that retriggers hardfault or just does something else

18:21 <JamesMunns[m]> It appears "double fault lockup" is a thing, probably a "read the arm arm for more details"

18:21 <wyager[m]> JamesMunns[m]: Yeah https://developer.arm.com/documentation/ka001181/latest/

18:21 <wyager[m]> This is simpler than the x86 thing haha

18:22 <wyager[m]> Traumatic memories of triple faults in OS class

21:00 <wyager[m]> Shoot. I was hoping it would be possible to approximate https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/trees-that-grow.pdf in Rust without HKTs using this technique, but the compiler seems to lack the ability to reason about impossible constructors when calculating object size:... (full message at <https://catircservices.org/_matrix/media/v3/download/catircservices.org/RJyRcsUkNZnIeRIfyKkQxqpM>)

21:02 <wyager[m]> * Shoot. I was hoping it would be possible to approximate https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/trees-that-grow.pdf in Rust without HKTs using this technique, but the compiler seems to lack the ability to reason about impossible constructors when calculating object size:... (full message at <https://catircservices.org/_matrix/media/v3/download/catircservices.org/GthIfSeDsJrjkiOSTqSjKeJN>)