Recommendation for firewall appliance running of and OpenBSD

[Tito Mari Francis H . Escaño]

Hi everyone,
Can somebody please recommend me a firewall appliance that can run OpenBSD and
pf, and can be upgradeable to the latest version? It would be a great plus if
the appliance can also be configured as part of CARP firewall group. pfSense
with FreeBSD doesn't cut it :)