#include <kernel/con.h>
#include <stdarg.h>
#include <stdint.h>

/* main syscall handler */
void syscall(va_list ap) {
  uint8_t call;
  char *s;
  
  printf("Call Number: 0x%02x\n", va_arg(ap, uint8_t));
  printf(va_arg(ap, char*));
}