Forum Post: s3a7 dk spi set up

I'm trying to set up spi on the s3a7 dk using an example from the s7 labs. I'm not using ThreadX, just using hal to ping the components on the bus.  I've added the SPI Framework Shared Bus and the SPI Driver but It's missing a file in the package, the build error is-- fatal error: tx_api.h: No such file or directory