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