2007-07-23 Monday 10:59  mkgnu

	* configure.in (1.243), packaging/debian/changelog (1.8) (utags:
	  DYNAMOS_RELEASE_0-5-5): bug 1028: Increased version number for
	  upcoming release DYNAMOS_RELEASE_0-5-5.

2007-07-23 Monday 10:47  mkgnu

	* Makefile.in (1.98, DYNAMOS_RELEASE_0-5-5): bug 668: Install some
	  missing header files that resulted in the examples from the
	  manual to fail to compile.

2007-07-23 Monday 10:39  mkgnu

	* src/tools/derive_flags.sh.in (1.5, DYNAMOS_RELEASE_0-5-5): bug
	  668: Export the environment variables reported by
	  dynamos_kernel_detect else we get the error:

	  /usr/bin/dynamos_derive_flags: KERNEL_TYPE=Linux: command not
	  found

	  This results in the examples failing to compile anymore.

2007-07-23 Monday 10:25  mkgnu

	* src/framework/include/kernel/os-Linux/linux_up_to_2_4.h (1.4,
	  DYNAMOS_RELEASE_0-5-5): bug 121: Reverted a change erroneously
	  commited during development of the FreeBSD port in comment #109.
	  The symbol cpu_icache_sync_range does not exist in Linux, and
	  this was forbidding the kernel module to be loaded.