There are 2 ASIL-D OSEK implementations off the top of my head, Tasking, the EB one ( I think they actually have _2_ variants here, the normal one and a microkernel) and I'm sure there are others, these being just the ones I saw on projects I worked on before Oxidos.

I'm sure Vector has one as well.

Edit: You are right, that was poor form, I added the disclaimer.