I'm booting Ubuntu from an SD card on my ZC702 board. Is there a way to read and write to DDR from Ubuntu? On previous systems I've used the devmem command (from busybox), but this package isn't installed on this Ubuntu image. Is there any other way I can read and write to memory directly? Or is there any way of installing busybox to give me access to the devmem command.