1/* 2 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: BSD-2-Clause 5 */ 6 7#include <camkes.h> 8#include <stdio.h> 9#include <sel4/sel4.h> 10 11int run(void) { 12 int i; 13 unsigned long int ii; 14 /* Give the collector a chance to register. */ 15 for (i = 0; i < 25; i++) { 16 seL4_Yield(); 17 } 18 ev_emit(); 19 20 21 printf("starting to emit a lot...\n"); 22 ii = 0; 23 while (1) { 24 ii++; 25 ev_emit(); 26 27 if (ii % 10000 == 0) { 28 printf("still emitting\n"); 29 } 30 } 31 32 return 0; 33} 34 35