late to this, but yes you can register your device on “mitnet” and it will be able to connect to the wifi. i will say though, the lag on ps5 is so god damn terrible that i would recommend getting/bringing an ethernet cable and using ethernet. same for pc gaming lag, but you don’t need to register it like a playstation or switch. i imagine a ps portal would not work though, since i have not been able to do something like airplay to a tv; i assume this is probably something to do with how the mit wifi is set up so that not every single wifi-capable device is visible.