Actually what would be really good is a KiCAD-hal workbench. I've used KiCAD several times to make a schematic of Hal logic I was working on so I could visualize it better. If there were a plugin that could actually write the hal config that would be super useful. I can generally write hal logic from my head but it would be pretty useful for really serious hal files or beginners.
