kernel.h

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

/* 
 *   Creation Date: <2004/08/28 17:50:12 stepan>
 *   Time-stamp: <2004/08/28 17:50:12 stepan>
 *   
 *	<kernel.h>
 *   
 *   Copyright (C) 2004 Stefan Reinauer
 *   
 *   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 __KERNEL_H__
#define __KERNEL_H__

/* misc.c */
extern void		fatal_error( const char *str );
extern void		exit( int status );

/* start.S */
extern void 		flush_icache_range( char *start, char *stop );
extern char		of_rtas_start[], of_rtas_end[];

/* methods.c */
extern void		node_methods_init( void );

/* main.c */
extern void 		boot( void );

/* init.c */
extern void		entry( void );
extern void 		arch_of_init( void );
extern int		get_bool_res( const char *str );

/* tree.c */
extern void		devtree_init( void );


#endif   /* __KERNEL_H__ */