PRIVATE void announce(void)
{
/* Display the MINIX startup banner. */
- kprintf("MINIX %s.%s. Copyright 1987-2001 Prentice-Hall, Inc.\n",
+ kprintf("MINIX %s.%s.\nCopyright 2006, 1997, 1987 Pearson Education, Inc.\n"
+ "MINIX 3 Copyright 2006, 1997, 1987 Vrije Universiteit\n",
OS_RELEASE, OS_VERSION);
-
#if (CHIP == INTEL)
/* Real mode, or 16/32-bit protected mode? */
kprintf("Executing in %s mode.\n\n",