What would be the maximum capacity of RAM for an imx31pdk?
If we use Linux how much memory it is needed?