kernel.h

open source bios with linux platform, very good and can be reused.

/* 
 *   Creation Date: <2003/12/19 00:20:11 samuel>
 *   Time-stamp: <2004/01/07 19:19:14 samuel>
 *   
 *	<kernel.h>
 *	
 *	
 *   
 *   Copyright (C) 2003, 2004 Samuel Rydh ([e-mail])
 *                            Stefan Reinauer ([e-mail])
 *   
 *   This program is free software; you can redistribute it and/or
 *   modify it under the terms of the GNU General Public License
 *   version 2
 *   
 */

#ifndef _H_KERNEL
#define _H_KERNEL

#include "openbios/stack.h"
#include "asm/io.h"

extern volatile int 	runforth;
extern int		enterforth( xt_t xt );
extern void		panic(const char *error) __attribute__ ((noreturn));

extern xt_t		findword(char *s1);
extern void		modules_init( void );

/* arch kernel hooks */
extern void 		exception(cell no);

#ifdef FCOMPILER
extern void		include_file( const char *str );
extern void		encode_file( const char *str );
extern int		get_inputbyte( void );
#endif

#undef putchar
#undef getchar

extern int		putchar( int ch );
extern int		availchar( void );
extern int		getchar( void );

#endif   /* _H_KERNEL */