用TM4C129x控制两片CC3100的驱动开发问题？

你好，

       第一个问题：我看到TI-RTOS下的关于CC3100的驱动目前只支持一个WIFI 模块，我现在要用一片TM4X129X来控制两个CC3100，请问如何修改WIFI驱动来实现这个目的，谢谢？

第二个问题：TI-RTOS的WIFI3100的驱动是通过库的方式链接的，修改驱动相关代码必须重新编译库对吗？而且CCS不能对该库进行重编译，只能在DOS环境下编译，这样有一个问题，编译产生的错误无法查看，也不知道错误在哪，不知道对CC3100库的源文件进行修改重编译有什么方便的操作方法吗？谢谢。