#include <assert.h>
#include <log.h>
#include <stdio.h>
#include <log.h>

void aFailed(char *f, int l) {
  kprintf("Assert failed\n");
  kprintf("%s : %d\n", f, l);
  dump_backtrace(10);
  for (;;)
    ;
}