Portable hardware of MSI known to be supported by T2/Linux