CC have released a Maintenance Report to update the hardware list that is EAL4 certified with FortiOS 4.0MR3.
This means that the current devices CC/EAL4 certified are as follows:
This means that the current devices CC/EAL4 certified are as follows: