rt thread 对 PowerPC 芯片的支持情况

从官网上的介绍看到rt thread支持了不少PowerPC的芯片，比如

• 国微 SM750
• NXP MPC750/MPC74xx series
• NXP MPC83xx series
• NXP P series、MPC85xx series
• NXP MPC86xx series
• NXP T series
  https://www.rt-thread.com/products/Chip-39.html

但实际看代码bsp下面并没有这些芯片的代码，只有一个taihu, 应该也是非常老的一款芯片了。

请问下各位大佬，想要在PowerPC上跑rt thread, 该怎样搞呢？