I noticed the Cerb40 is out of stock. Is this a temporary condition, or is it being phased out?
I’ve got no real info to back this up, but I certainly only expect this to be temporary. GHI are still putting effort into the OSHW NETMF devices so I can’t see them going away anytime soon, and the other Cerb-family are still in stock
I bought the last few they had in stock 
I’m sure they will return shortly.
Looks like it is in stock now. We should be able to keep up with Skewworks orders 