Hi, I'm also configuring machinekit.
Here is what I put for my buttons that works.
fichier.hal
#--------------------------------
newsig button.abort bit
newsig cycle-start bit
net button.abort <= bb_gpio.p9.in-28
net cycle-start <= bb_gpio.p9.in-30
setp bb_gpio.p9.in-30.invert 1
#--------------------------------
touchy.hal
#--------------------------------
net button.abort => touchy.abort
net cycle-start => touchy.cycle-start
#--------------------------------
@++ Jean Claude