BOOST-DRV8711: Which launchpad board to use for two BOOST-DRV8711's?

Part Number:BOOST-DRV8711

I am interested in using two of these BOOST-DRV8711 modules to drive some stepper motors.

(Actually the stepper motors are for use in a vacuum so they require high voltage, low current to minimise heating).

I'm completely new to TI development boards but have used Arduino's before.

Please can you tell me if the BOOST-DRV8711's are compatible (i.e. direct plug-in) to this launchpad module: EK-TM4C129EXL?

Is that the best/cheapest board to choose for this (it would be nice to be able to send motor commands over ethernet eventually).

Is software available for download from TI that will get the two stepper motors operating quickly?

Thanks very much,

Matt