Index: uspace/drv/char/i8042/i8042.c
===================================================================
--- uspace/drv/char/i8042/i8042.c	(revision 1dea6d79bf332ed69d9323f176573b5d87da4559)
+++ uspace/drv/char/i8042/i8042.c	(revision 8bb95403773445b62a56729df809c5540b3f91a5)
@@ -57,5 +57,5 @@
 static int i8042_write_aux(ddf_fun_t *, char *, size_t);
 static int i8042_read_aux(ddf_fun_t *, char *, size_t);
-/*----------------------------------------------------------------------------*/
+
 /** Primary port interface structure. */
 static char_dev_ops_t kbd_iface = {
@@ -63,5 +63,5 @@
     .write = i8042_write_kbd,
 };
-/*----------------------------------------------------------------------------*/
+
 /** Auxiliary port interface structure. */
 static char_dev_ops_t aux_iface = {
@@ -69,10 +69,10 @@
     .write = i8042_write_aux,
 };
-/*----------------------------------------------------------------------------*/
+
 /** Primary port function operations. */
 static ddf_dev_ops_t kbd_ops = {
 	.interfaces[CHAR_DEV_IFACE] = &kbd_iface
 };
-/*----------------------------------------------------------------------------*/
+
 /** Auxiliary port function operations. */
 static ddf_dev_ops_t aux_ops = {
@@ -123,5 +123,5 @@
 	}
 };
-/*----------------------------------------------------------------------------*/
+
 /** Wait until it is safe to write to the device. */
 static void wait_ready(i8042_t *dev)
@@ -130,5 +130,5 @@
 	while (pio_read_8(&dev->regs->status) & i8042_INPUT_FULL);
 }
-/*----------------------------------------------------------------------------*/
+
 /** Interrupt handler routine.
  * Writes new data to the corresponding buffer.
@@ -150,5 +150,5 @@
 	buffer_write(buffer, data);
 }
-/*----------------------------------------------------------------------------*/
+
 /** Initialize i8042 driver structure.
  * @param dev Driver structure to initialize.
@@ -287,5 +287,5 @@
 	return EOK;
 }
-/*----------------------------------------------------------------------------*/
+
 /** Write data to i8042 primary port.
  * @param fun DDF function.
@@ -307,5 +307,5 @@
 	return size;
 }
-/*----------------------------------------------------------------------------*/
+
 /** Read data from i8042 primary port.
  * @param fun DDF function.
@@ -327,5 +327,5 @@
 	return size;
 }
-/*----------------------------------------------------------------------------*/
+
 /** Write data to i8042 auxiliary port.
  * @param fun DDF function.
@@ -348,5 +348,5 @@
 	return size;
 }
-/*----------------------------------------------------------------------------*/
+
 /** Read data from i8042 auxiliary port.
  * @param fun DDF function.
Index: uspace/drv/char/i8042/main.c
===================================================================
--- uspace/drv/char/i8042/main.c	(revision 1dea6d79bf332ed69d9323f176573b5d87da4559)
+++ uspace/drv/char/i8042/main.c	(revision 8bb95403773445b62a56729df809c5540b3f91a5)
@@ -49,10 +49,10 @@
     uintptr_t *io_reg_address, size_t *io_reg_size, int *kbd, int *mouse);
 static int i8042_dev_add(ddf_dev_t *device);
-/*----------------------------------------------------------------------------*/
+
 /** DDF driver operations. */
 static driver_ops_t i8042_driver_ops = {
 	.dev_add = i8042_dev_add,
 };
-/*----------------------------------------------------------------------------*/
+
 /** DDF driver. */
 static driver_t i8042_driver = {
@@ -60,5 +60,5 @@
 	.driver_ops = &i8042_driver_ops
 };
-/*----------------------------------------------------------------------------*/
+
 /** Initialize global driver structures (NONE).
  *
@@ -75,5 +75,5 @@
 	return ddf_driver_main(&i8042_driver);
 }
-/*----------------------------------------------------------------------------*/
+
 /** Initialize a new ddf driver instance of i8042 driver
  *
@@ -115,5 +115,5 @@
 	return EOK;
 }
-/*----------------------------------------------------------------------------*/
+
 /** Get address of I/O registers.
  *
Index: uspace/drv/char/ps2mouse/main.c
===================================================================
--- uspace/drv/char/ps2mouse/main.c	(revision 1dea6d79bf332ed69d9323f176573b5d87da4559)
+++ uspace/drv/char/ps2mouse/main.c	(revision 8bb95403773445b62a56729df809c5540b3f91a5)
@@ -47,10 +47,10 @@
 
 static int mouse_add(ddf_dev_t *device);
-/*----------------------------------------------------------------------------*/
+
 /** DDF driver ops. */
 static driver_ops_t mouse_driver_ops = {
 	.dev_add = mouse_add,
 };
-/*----------------------------------------------------------------------------*/
+
 /** DDF driver structure. */
 static driver_t mouse_driver = {
@@ -58,5 +58,5 @@
 	.driver_ops = &mouse_driver_ops
 };
-/*----------------------------------------------------------------------------*/
+
 /** Initialize global driver structures (NONE).
  *
@@ -73,5 +73,5 @@
 	return ddf_driver_main(&mouse_driver);
 }
-/*----------------------------------------------------------------------------*/
+
 /** Initialize a new ddf driver instance
  *
Index: uspace/drv/char/ps2mouse/ps2mouse.c
===================================================================
--- uspace/drv/char/ps2mouse/ps2mouse.c	(revision 1dea6d79bf332ed69d9323f176573b5d87da4559)
+++ uspace/drv/char/ps2mouse/ps2mouse.c	(revision 8bb95403773445b62a56729df809c5540b3f91a5)
@@ -94,15 +94,15 @@
 	} \
 } while (0)
-/*----------------------------------------------------------------------------*/
+
 static int polling_ps2(void *);
 static int polling_intellimouse(void *);
 static int probe_intellimouse(async_sess_t *, bool);
 static void default_connection_handler(ddf_fun_t *, ipc_callid_t, ipc_call_t *);
-/*----------------------------------------------------------------------------*/
+
 /** ps/2 mouse driver ops. */
 static ddf_dev_ops_t mouse_ops = {
 	.default_handler = default_connection_handler
 };
-/*----------------------------------------------------------------------------*/
+
 /** Initialize mouse driver structure.
  * @param kbd Mouse driver structure to initialize.
@@ -187,5 +187,5 @@
 	return EOK;
 }
-/*----------------------------------------------------------------------------*/
+
 /** Get data and parse ps2 protocol packets.
  * @param arg Pointer to ps2_mouse_t structure.
@@ -242,5 +242,5 @@
 	}
 }
-/*----------------------------------------------------------------------------*/
+
 /** Get data and parse ps2 protocol with IntelliMouse extension packets.
  * @param arg Pointer to ps2_mouse_t structure.
@@ -316,5 +316,5 @@
 	}
 }
-/*----------------------------------------------------------------------------*/
+
 /** Send magic sequence to initialize IntelliMouse extensions.
  * @param session IPC session to the parent device.
@@ -348,5 +348,5 @@
 	return EOK;
 }
-/*----------------------------------------------------------------------------*/
+
 /** Default handler for IPC methods not handled by DDF.
  *
Index: uspace/drv/char/xtkbd/main.c
===================================================================
--- uspace/drv/char/xtkbd/main.c	(revision 1dea6d79bf332ed69d9323f176573b5d87da4559)
+++ uspace/drv/char/xtkbd/main.c	(revision 8bb95403773445b62a56729df809c5540b3f91a5)
@@ -47,10 +47,10 @@
 
 static int xt_kbd_add(ddf_dev_t *device);
-/*----------------------------------------------------------------------------*/
+
 /** DDF driver ops. */
 static driver_ops_t kbd_driver_ops = {
 	.dev_add = xt_kbd_add,
 };
-/*----------------------------------------------------------------------------*/
+
 /** DDF driver structure. */
 static driver_t kbd_driver = {
@@ -58,5 +58,5 @@
 	.driver_ops = &kbd_driver_ops
 };
-/*----------------------------------------------------------------------------*/
+
 /** Initialize global driver structures (NONE).
  *
@@ -73,5 +73,5 @@
 	return ddf_driver_main(&kbd_driver);
 }
-/*----------------------------------------------------------------------------*/
+
 /** Initialize a new ddf driver instance of the driver
  *
Index: uspace/drv/char/xtkbd/xtkbd.c
===================================================================
--- uspace/drv/char/xtkbd/xtkbd.c	(revision 1dea6d79bf332ed69d9323f176573b5d87da4559)
+++ uspace/drv/char/xtkbd/xtkbd.c	(revision 8bb95403773445b62a56729df809c5540b3f91a5)
@@ -152,5 +152,5 @@
 	[0x53] = KC_NPERIOD
 };
-/*----------------------------------------------------------------------------*/
+
 #define SCANCODE_SET_EXTENDED 0xe0
 /** Scancode set 1 extended codes table */
@@ -177,13 +177,13 @@
 	[0x1c] = KC_NENTER
 };
-/*----------------------------------------------------------------------------*/
+
 static int polling(void *);
 static void default_connection_handler(ddf_fun_t *, ipc_callid_t, ipc_call_t *);
-/*----------------------------------------------------------------------------*/
+
 /** Keyboard function ops. */
 static ddf_dev_ops_t kbd_ops = {
 	.default_handler = default_connection_handler
 };
-/*----------------------------------------------------------------------------*/
+
 /** Initialize keyboard driver structure.
  * @param kbd Keyboard driver structure to initialize.
@@ -238,5 +238,5 @@
 	return EOK;
 }
-/*----------------------------------------------------------------------------*/
+
 /** Get data and parse scancodes.
  * @param arg Pointer to xt_kbd_t structure.
@@ -290,5 +290,5 @@
 	}
 }
-/*----------------------------------------------------------------------------*/
+
 /** Default handler for IPC methods not handled by DDF.
  *