Parece que o suporte ao WiMAX no network-manager é escrito contra algum SDK específico da Intel, o qual eles parecem ter deixado cair a bola, já que não consigo encontrar um link para baixá-lo em qualquer lugar, e linuxwimax. org está morto. Para compilar o network-manager com o wimax-tools, seria necessário algum trabalho para procurar por essa biblioteca e corresponder à API que ela usa.