External hard-reset

[Skimmy]

Before bricking my beloved DUET with bad wiring and testing it on my own, I would rather ask to do it right:

In case I want to add an external reset-button, is it ok to pull PIN44 of the extension header to GND via a simple microswitch? And, in addition, do I need a debounced switch or will any generic do?
Do I need to add a pull-down resistor or is it already done in the CPU like on arduinos?

[dc42]

You don't need a resistor. A simple switch will do, but preferably put a 100 ohm resistor in series with it.