R80.30 and HPE DL 360 Gen10

[SPM]

So in R80.30 EA it stated that HPE DL 360 Gen10 is supported

https://usercenter.checkpoint.com/uc/htmls/earlyavailability/R80.30_3.10/requirements.html

but now when R80.30 GA was released

I don't see that HPE DL 360 Gen10  listed in HCL as supported

So  are Gen10 servers supported or not?

[PhoneBoy]

It will be supported when we release R80.30 3.10 as a GA release--hopefully soon.
The release of R80.30 that is available now still uses the 2.6 kernel, which is unable to leverage the newer hardware.