Lot of discussion about the M4 cores. Here's what I know. The M4 is at about 200MHz. It can contain an FPU but I don' think the OMAP M4 contains one, as it's not claomed as M4F. The M3 in OMAP 4 was in a subsystem called Ducati. I suppose the M4 is for the same use. It's not mentioned to be used as big.LITTLE in any case.