Dear all, I know that ThunderX is supported by FreeBSD, but I'm wondering what the status is regarding ThunderX2? Anyone running FreeBSD on a ThunderX2 board? Best regards Michael