http://www.amiga.com/corporate/041101-elbox.shtml :
 
AmigaOS4 is currently under development and will ship in Summer 2001. Elbox products can already be purchased from all major Amiga dealers, and their next new product, the SharkPPC+ will be available along with the premiere of the AmigaOS4 system.

http://www.amiga.com/corporate/061601-matay.shtml :
 
"In developing AmigaOS4.0, we have been making extensive use of the Prometheus PCI bridge board, to get a head start on developing drivers for the various sub systems whilst we wait for the Eyetech AmigaOne to be completed," said Fleecy Moss, CTO of Amiga Inc. "The quality of both their product and support, and their commitment to the future of the Amiga has made working with them a pleasure, and we look forward to this co-operation intensifying over the next few years."