To be fair I dont think you can really count these Billion L4 derivatives its just a shell to abstract the HW and manage the flashing . I think most drivers are Linux.
On the other hand QNX passes message between processes to different address spaces , Im not sure if they can share address space - i doubt it ( you can definitively share memory blocks) but even if shared you still get the micro kernel IPC cost as this IS copied between address spaces . Anyway QNX is now on Blackberries there are a lot of micro kernels out there and monolithic kernels have the first mover advantage.. Ben >Shap Wrote > Indeed. But it turns out that the majority of these smart phones don't run > on bare metal. The run on L4. It's effectively part of the microcode load on > modern mobile phone platforms. > _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
