OpenBSD is listed under Software on the page you linked. As I understand it the people who developed CARP did it on Soekris hardware, and this demo was done using soekris 4801's. (but don't quote me on that, my memory is hazy).
https://web.archive.org/web/20060323025207/http://os.newsforge.com/os/06/01/02/1643229.shtml?tid=8&tid=18 On Fri, Nov 15, 2013 at 4:03 PM, SmithS <smit...@hush.ai> wrote: > Greetings misc@. After coming across a link[1] to make an OpenBSD > router using a "Soekris" device, I think I will make one. Does anyone > else have this hardware and can verify all the components work? > I think Intel NICs are good, but everything else? I have never heard > of this brand before so I want to be safe before buying. The model > number[2] is "6501-30" > > [1] http://www.bsdnow.tv/tutorials/openbsd-router > [2] https://soekris.com/products/net6501/net6501-30-board-case.html > > greetz, > SmithS