#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
  }
}