Index: kernel/generic/src/adt/avl.c
===================================================================
--- kernel/generic/src/adt/avl.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/adt/avl.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -81,5 +81,4 @@
 	return NULL;
 }
-
 
 /** Find the node with the smallest key in an AVL tree.
@@ -660,5 +659,4 @@
 }
 
-
 /** Delete a node with the smallest key from the AVL tree.
  *
@@ -730,3 +728,2 @@
 /** @}
  */
-
Index: kernel/generic/src/adt/cht.c
===================================================================
--- kernel/generic/src/adt/cht.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/adt/cht.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -26,5 +26,4 @@
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
-
 
 /** @addtogroup genericadt
@@ -287,5 +286,4 @@
  */
 
-
 #include <adt/cht.h>
 #include <adt/hash.h>
@@ -396,5 +394,4 @@
 } wnd_t;
 
-
 /* Sentinel node used by all buckets. Stores the greatest possible hash value.*/
 static const cht_link_t sentinel = {
@@ -403,5 +400,4 @@
 	.hash = -1
 };
-
 
 static size_t size_to_order(size_t bucket_cnt, size_t min_order);
@@ -1683,5 +1679,4 @@
 }
 
-
 #if 0
 static void move_head(marked_ptr_t *psrc_head, marked_ptr_t *pdest_head)
@@ -2710,5 +2705,4 @@
 }
 
-
 /** @}
  */
Index: kernel/generic/src/adt/hash_table.c
===================================================================
--- kernel/generic/src/adt/hash_table.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/adt/hash_table.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -60,5 +60,4 @@
 #define HT_MAX_LOAD     2
 
-
 static size_t round_up_size(size_t);
 static bool alloc_table(size_t, list_t **);
@@ -73,5 +72,4 @@
 	/* no-op */
 }
-
 
 /** Create chained hash table.
@@ -205,5 +203,4 @@
 }
 
-
 /** Insert item into a hash table if not already present.
  *
@@ -412,5 +409,4 @@
 }
 
-
 /** Shrinks the table if the table is only sparely populated. */
 static inline void shrink_if_needed(hash_table_t *h)
@@ -472,5 +468,4 @@
 }
 
-
 /** @}
  */
Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/console/cmd.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -647,5 +647,4 @@
 };
 
-
 /** Initialize command info structure.
  *
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/console/kconsole.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -364,5 +364,4 @@
 			    position++)
 				putwchar(current[position]);
-
 
 			/*
Index: kernel/generic/src/cpu/cpu_mask.c
===================================================================
--- kernel/generic/src/cpu/cpu_mask.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/cpu/cpu_mask.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/ipc/ipc.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -527,5 +527,4 @@
 }
 
-
 /** Wait for a phone call.
  *
@@ -888,5 +887,4 @@
 	    0, NULL, NULL, 0);
 }
-
 
 static void ipc_print_call_list(list_t *list)
Index: kernel/generic/src/ipc/ipcrsc.c
===================================================================
--- kernel/generic/src/ipc/ipcrsc.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/ipc/ipcrsc.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -147,5 +147,4 @@
 	.destroy = phone_destroy
 };
-
 
 /** Allocate new phone in the specified task.
Index: kernel/generic/src/ipc/ops/concttome.c
===================================================================
--- kernel/generic/src/ipc/ops/concttome.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/ipc/ops/concttome.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -102,5 +102,4 @@
 }
 
-
 sysipc_ops_t ipc_m_connect_to_me_ops = {
 	.request_preprocess = null_request_preprocess,
Index: kernel/generic/src/ipc/ops/datawrite.c
===================================================================
--- kernel/generic/src/ipc/ops/datawrite.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/ipc/ops/datawrite.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -94,5 +94,4 @@
 }
 
-
 sysipc_ops_t ipc_m_data_write_ops = {
 	.request_preprocess = request_preprocess,
Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/ipc/sysipc.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -118,5 +118,4 @@
 }
 
-
 /*
  * Functions that preprocess answer before sending it to the recepient.
@@ -245,5 +244,4 @@
 	SYSIPC_OP(answer_process, call);
 }
-
 
 /** Do basic kernel processing of received call request.
Index: kernel/generic/src/lib/ra.c
===================================================================
--- kernel/generic/src/lib/ra.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/lib/ra.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -304,5 +304,4 @@
 		}
 
-
 		/* Put unneeded parts back. */
 		if (pred) {
Index: kernel/generic/src/lib/str_error.c
===================================================================
--- kernel/generic/src/lib/str_error.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/lib/str_error.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -99,3 +99,2 @@
 	return "Unknown error code";
 }
-
Index: kernel/generic/src/log/log.c
===================================================================
--- kernel/generic/src/log/log.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/log/log.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -249,5 +249,4 @@
 	};
 
-
 	ret = printf_core(fmt, &ps, args);
 
@@ -386,5 +385,4 @@
 }
 
-
 /** @}
  */
Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/mm/as.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -228,5 +228,4 @@
 	interrupts_restore(ipl);
 
-
 	/*
 	 * Destroy address space areas of the address space.
@@ -563,5 +562,4 @@
 	}
 }
-
 
 /** Create address space area of common attributes.
Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/mm/backend_elf.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -235,5 +235,4 @@
 	return true;
 }
-
 
 /** Service a page fault in the ELF backend address space area.
Index: kernel/generic/src/mm/backend_phys.c
===================================================================
--- kernel/generic/src/mm/backend_phys.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/mm/backend_phys.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -80,5 +80,4 @@
 };
 
-
 bool phys_create(as_area_t *area)
 {
@@ -98,5 +97,4 @@
 	assert(mutex_locked(&area->lock));
 }
-
 
 void phys_destroy(as_area_t *area)
@@ -118,5 +116,4 @@
 	return true;
 }
-
 
 /** Service a page fault in the address space area backed by physical memory.
Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/mm/frame.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -178,5 +178,4 @@
 }
 
-
 /** Find a zone with a given frames.
  *
Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/mm/km.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -295,3 +295,2 @@
 /** @}
  */
-
Index: kernel/generic/src/preempt/preemption.c
===================================================================
--- kernel/generic/src/preempt/preemption.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/preempt/preemption.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -38,5 +38,4 @@
 #include <preemption.h>
 
-
 /** @}
  */
Index: kernel/generic/src/smp/smp_call.c
===================================================================
--- kernel/generic/src/smp/smp_call.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/smp/smp_call.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -48,5 +48,4 @@
 static void call_done(smp_call_t *call_info);
 static void call_wait(smp_call_t *call_info);
-
 
 /** Init smp_call() on the local cpu. */
@@ -274,5 +273,4 @@
 }
 
-
 /** @}
  */
Index: kernel/generic/src/synch/condvar.c
===================================================================
--- kernel/generic/src/synch/condvar.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/condvar.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -189,5 +189,4 @@
 }
 
-
 /** @}
  */
Index: kernel/generic/src/synch/futex.c
===================================================================
--- kernel/generic/src/synch/futex.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/futex.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -94,5 +94,4 @@
 } futex_ptr_t;
 
-
 static void destroy_task_cache(work_t *work);
 
@@ -116,5 +115,4 @@
 static bool task_fut_ht_equal(const cht_link_t *item1, const cht_link_t *item2);
 static bool task_fut_ht_key_equal(void *key, const cht_link_t *item);
-
 
 /** Mutex protecting the global futex hash table.
@@ -226,5 +224,4 @@
 }
 
-
 /** Initialize the kernel futex structure.
  *
@@ -284,5 +281,4 @@
 	return get_and_cache_futex(paddr, uaddr);
 }
-
 
 /** Finds the physical address of the futex variable. */
@@ -331,5 +327,4 @@
 	return futex;
 }
-
 
 /**
@@ -448,5 +443,4 @@
 }
 
-
 /** Return the hash of the key stored in the item */
 size_t futex_ht_hash(const ht_link_t *item)
Index: kernel/generic/src/synch/rcu.c
===================================================================
--- kernel/generic/src/synch/rcu.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/rcu.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -26,5 +26,4 @@
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
-
 
 /** @addtogroup sync
@@ -247,5 +246,4 @@
 } rcu_data_t;
 
-
 static rcu_data_t rcu;
 
@@ -294,6 +292,4 @@
 static void upd_max_cbs_in_slice(size_t arriving_cbs_cnt);
 
-
-
 /** Initializes global RCU structures. */
 void rcu_init(void)
@@ -394,5 +390,4 @@
 	link_initialize(&thread->rcu.preempt_link);
 }
-
 
 /** Cleans up global RCU resources and stops dispatching callbacks.
@@ -715,5 +710,4 @@
 	return cur_cbs_empty() && next_cbs_empty() && arriving_cbs_empty();
 }
-
 
 /** Reclaimer thread dispatches locally queued callbacks once a GP ends. */
@@ -918,5 +912,4 @@
 	return expedite;
 }
-
 
 #ifdef RCU_PREEMPT_A
@@ -1291,5 +1284,4 @@
 }
 
-
 /** The detector thread detects and notifies reclaimers of grace period ends. */
 static void detector(void *arg)
@@ -1337,5 +1329,4 @@
 	return !interrupted;
 }
-
 
 static void end_cur_gp(void)
@@ -1608,5 +1599,4 @@
 	}
 }
-
 
 #endif /* RCU_PREEMPT_PODZIMEK */
Index: kernel/generic/src/synch/smp_memory_barrier.c
===================================================================
--- kernel/generic/src/synch/smp_memory_barrier.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/smp_memory_barrier.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -40,5 +40,4 @@
 #include <config.h>
 
-
 static void issue_mem_bar(void *arg)
 {
Index: kernel/generic/src/synch/waitq.c
===================================================================
--- kernel/generic/src/synch/waitq.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/waitq.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -61,5 +61,4 @@
 static void waitq_sleep_timed_out(void *);
 static void waitq_complete_wakeup(waitq_t *);
-
 
 /** Initialize wait queue
@@ -489,5 +488,4 @@
 }
 
-
 /** Internal SMP- and IRQ-unsafe version of waitq_wakeup()
  *
Index: kernel/generic/src/synch/workqueue.c
===================================================================
--- kernel/generic/src/synch/workqueue.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/workqueue.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -52,5 +52,4 @@
 #define WORK_ITEM_MAGIC  0xfeec1777U
 
-
 struct work_queue {
 	/*
@@ -96,5 +95,4 @@
 };
 
-
 /** Min number of idle workers to keep. */
 static size_t min_worker_cnt;
@@ -111,5 +109,4 @@
 static int booting = true;
 
-
 typedef struct {
 	IRQ_SPINLOCK_DECLARE(lock);
@@ -121,9 +118,6 @@
 static nonblock_adder_t nonblock_adder;
 
-
-
 /** Typedef a worker thread signaling operation prototype. */
 typedef void (*signal_op_t)(struct work_queue *workq);
-
 
 /* Fwd decl. */
@@ -790,5 +784,4 @@
 	--workq->idle_worker_cnt;
 }
-
 
 /** Invoked from thread_ready() right before the thread is woken up. */
@@ -888,5 +881,4 @@
 }
 
-
 static bool dequeue_add_req(nonblock_adder_t *info, struct work_queue **pworkq)
 {
@@ -925,5 +917,4 @@
 	}
 }
-
 
 static void nonblock_init(void)
Index: kernel/generic/src/udebug/udebug_ipc.c
===================================================================
--- kernel/generic/src/udebug/udebug_ipc.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/udebug/udebug_ipc.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -123,5 +123,4 @@
 }
 
-
 /** Process a GO call.
  *
@@ -303,5 +302,4 @@
 }
 
-
 /** Process an ARGS_READ call.
  *
@@ -387,5 +385,4 @@
 	ipc_answer(&TASK->kb.box, call);
 }
-
 
 /** Process an MEM_READ call.