EFI hardware, embedded OS for ECUs

[flapjack]

I am curious as to what EFI manufacturers out there, and what kind of embedded software they use for their ECUs. Any leads?

Thanks in advance