Well:
marvell_startend_by_tag(memtag, &start, &end);
+ /* Checkpoint 1 */
+ printf("Past Checkpoint 1\n");
we need to know the values of start/end there (or someone who better
understands how this board is configured).
Martin