#include <system.h>

void app_main (void) {
  for (;;) {
    sched ();
#if defined(__x86_64__)
    for (int i = 0; i < 1000000; i++)
      __asm__ volatile ("pause" ::: "memory");
#endif
  }
}