Minirighi Code

Tagging minirighi 0.12.3

additions for 0.12.3

Tagging minirighi 0.12.3

- use printk() during system initialization instead of using kprintf()

This permits to send all the debugging messages to serial console via klogd.

- use printk() to report IDE debugging informations, instead of using
kprintf()

This permits to send all the debugging messages to serial console via klogd.

incrementing version to 0.12.3

- null character device implementation

- use printk() to report exceptions, instead of using kprintf()

This allows to track kernel messages via klogd, instead of bypassing it and
print messages directly to console by kprintf(). This also allows to properly
send messages to serial console, when kernel debugging to serial console is
enabled.

- set the maximum verbosity level when kernel debugging to a serial port is
enabled

- fix: move video (vga) initialization message after the main console has been
initialized to obviate a chicken/egg problem