Hi Kris, for the hall sensor, the symbol in KiCad from the fab library is wrong. It has the GND and Output pin switched around.