/* 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);