Configuring Whisker for particular hardware