kernel/logging: Change default log level to LOG_NOTE The previous default was LOG_DEBUG with an incorrect level check on the kernel debug macro. Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
menu.lst: Include eclipseclp_ramfs.cpio.gz Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Initial version of public stable barrelfish repository.