Version 5.0 of the company's Velocity microkernel supports automotive applications with boot times as fast as 15 ms on a 600-MHz Blackfin and 40 ms on a 233-MHz PowerPC microprocessor. The kernel also ...