1 /** @file boot/entry.c
  2  *  @brief Entry point for the C part of the kernel
  3  *  @author matthewj S2008
  4  *  @author elly1 S2010
  5  */