Göran Weinholt (29):
arch amd64: Fix early VGA console scrolling at the end of the screen
lib u8rings: Ring buffers, moved out from the UART driver
runtime vectors: Fix type checking in make-vector
Makefile: add a faster self compilation target
lib u8rings: Add u8ring-clear!
drivers ps2: PS/2 drivers for keyboards (partially working) and mice
arch amd64: Fix logic for the 8259/PIC's Special Mask Mode
drivers ps2: Functional PS/2 keyboard driver
drivers: Support for keyboard maps
drivers: Add a mouse manager similar to the keyboard manager
drivers: uart: Increase default baud rate to a tolerable level
drivers: ps2: Fix possible glitches during initialization
arch amd64: Do not enable IRQ 0
drivers: Move the MC146818 driver to rtc/
runtime repl: Fix handling of non-serious conditions
drivers pci: New library for reading PCI expansion ROMS
drivers video: Bochs and VBE video drivers
Documentation: rewrite docs in Texinfo format
arch amd64: Add missing export for sys_connect
runtime control: Print &program-counter conditions in hex
arch amd64: Add sizeof-int and sizeof-void*
compiler static: Suggest to use -feval when appropriate
More work on the manual
arch amd64: Increase preemption frequency to 1 kHz
drivers uart: Increase rx buffer and decrease tx buffer
drivers vbe: Disable debugging by default
CONTRIBUTING: Reword and add an email option
Documentation: add links to other resources