Kernel level infrastructure for dynamic management of heterogeneous internal memories in embedded platforms.