Minirighi Code

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

- re-design the skel and prototypes of sys_open(), sys_close(), sys_read() and
sys_write()

- fix: correctly handle spurious IRQs

This also fixes a bug running minirighi on Bochs, that reported a lot of
messages like the following:

unhandled_interrupt(): unexepected IRQ number 007!

Bug reported by: Jon Rafkind <rafkind@...>