DEFAULT radix
LABEL radix
  KERNEL mboot.c32
  APPEND /radix.bin