On Sun, 20 Apr 2003, Ben Harris wrote:

>
> Module Name:	src
> Committed By:	bjh21
> Date:		Sun Apr 20 18:17:08 UTC 2003
>
> Modified Files:
> 	src/sys/arch/bebox/stand/boot: inkernel.c
>
> Log Message:
> Cast KERNENTRY into a char * before doing arithmetic on it, so we don't end
> up trying to cast a 64-bit integer into a pointer, which GCC warns about.

It's a nit, but I'd suggest using uint8_t * here. char is not necessarily
one byte, but uint8_t is. True, it'd be a mess if we changed, but it's
probably better to be clear now.

Take care,

Bill