Can someone help with running RT-Thread in SMP mode on Zynq7000? I would really benefit from specific steps to create a minimally working project that can send multiple UDP packets onto the network. I want to migrate from ThreadX and NetXDuo and am choosing between several modern RTOS with a powerful networking stack. Thanks in advance.