1 2 3 4 5 6 7 8 9
#include "kern/delay.h" void delay(uint32_t delay) { while (delay--) { /* needed to keep the compiler from optimizing away the loop. */ asm volatile(""); } }