faults/write_past_data_window.c

#include "layout.h"

// TODO(jesionowski): This program won't work until we change the way the DMEM
// is allocated: currently the remaning memory after data is consumed by .heap.

int main() {
  int* i = (int*)(DMMU_RANGE_START + 0x4000 - sizeof(int));
  *i = 0;
  return 0;
}