Hi
This all depends on what you are trying to do. Software you should have:
1. Linux WUSDK 1.3 or 1.6 (this depends on L1 software you may want to use) "Wireless SDK", this is not the same as the standard SDK 2.0 release train which "supports" 9131. WUSDK contains uboot and a Linux kernel/rootfs. These are older versions than what is in the standard SDK release train. The Standard SDK supports 9131 as if it were a P1010 device, no DSP, no IPC, no RF utiltity to drive the RF module... WUSDK has the IPC, DSP boot, and RF utility components integrated and tested/validated. I don't see it available on our public website so this may be an on request item also. WUSDK contains example code for DSP boot and IPC test cases also, though the DSP code is binary only.
2. LTE L1 Software package (contact local sales person, this is licensed/paid for software only). This contains our L1 software for LTE FDD standard, A specific version of SDOS is integrated into this. This is separate from the WUSDK.
For Debugging:
1. PA: CW for Power Architecture 5.1 should work
2. DSP: CW for Starcore 10.7.2 (this includes SDOS source and demo code)
Keep in mind BSC9131 has an e500 Power Architecture core and a SC3850 Starcore DSP. There is no ARM processor on that SoC so anything targetting AARCH64 or CortexA7 would not make sense.