I think that's mostly a "I tested it with these OS so I can guarantee it works" thing - ZMK should work with pretty much anything out there as long as it can do HID over Bluetooth.