text: /* tag: openbios loader prototypes for x86
   *
   * Copyright (C) 2004 Stefan Reinauer
   *
   * See the file "COPYING" for further information about
   * the copyright and warranty status of this work.
   */
  
  /* linux_load.c */
  int linux_load(struct sys_info *info, const char *file, const char *cmdline);
  
  /* boot.c */
  extern void boot(void);
  
  