Index: kernel/generic/include/adt/avl.h
===================================================================
--- kernel/generic/include/adt/avl.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/adt/avl.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -106,5 +106,4 @@
 };
 
-
 /** Create empty AVL tree.
  *
Index: kernel/generic/include/adt/cht.h
===================================================================
--- kernel/generic/include/adt/cht.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/adt/cht.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -130,5 +130,4 @@
 	member_to_inst((item), type, member)
 
-
 #define cht_read_lock()     rcu_read_lock()
 #define cht_read_unlock()   rcu_read_unlock()
Index: kernel/generic/include/adt/hash_table.h
===================================================================
--- kernel/generic/include/adt/hash_table.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/adt/hash_table.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -102,5 +102,4 @@
     void *);
 
-
 #endif
 
Index: kernel/generic/include/align.h
===================================================================
--- kernel/generic/include/align.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/align.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -46,5 +46,4 @@
 #define ALIGN_DOWN(s, a)  ((s) & ~((a) - 1))
 
-
 /** Align to the nearest higher address.
  *
Index: kernel/generic/include/arch.h
===================================================================
--- kernel/generic/include/arch.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/arch.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -38,5 +38,4 @@
 #include <arch/asm.h>   /* get_stack_base() */
 #include <config.h>
-
 
 /*
Index: kernel/generic/include/cc.h
===================================================================
--- kernel/generic/include/cc.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/cc.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -47,5 +47,4 @@
 #endif
 
-
 #endif
 
Index: kernel/generic/include/cpu.h
===================================================================
--- kernel/generic/include/cpu.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/cpu.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -46,5 +46,4 @@
 
 #define CPU                  THE->cpu
-
 
 /** CPU structure.
Index: kernel/generic/include/cpu/cpu_mask.h
===================================================================
--- kernel/generic/include/cpu/cpu_mask.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/cpu/cpu_mask.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -64,5 +64,4 @@
 } cpu_mask_t;
 
-
 extern size_t cpu_mask_size(void);
 extern void cpu_mask_active(cpu_mask_t *);
Index: kernel/generic/include/ipc/irq.h
===================================================================
--- kernel/generic/include/ipc/irq.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/ipc/irq.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -47,5 +47,4 @@
 #include <adt/list.h>
 
-
 extern irq_ownership_t ipc_irq_top_half_claim(irq_t *);
 extern void ipc_irq_top_half_handler(irq_t *);
Index: kernel/generic/include/lib/refcount.h
===================================================================
--- kernel/generic/include/lib/refcount.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/lib/refcount.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -122,3 +122,2 @@
 
 #endif
-
Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/mm/as.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -52,5 +52,4 @@
 #define AS                   THE->as
 
-
 /**
  * Defined to be true if user address space and kernel address space shadow each
Index: kernel/generic/include/preemption.h
===================================================================
--- kernel/generic/include/preemption.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/preemption.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -59,5 +59,4 @@
 	} while (0)
 
-
 #endif
 
Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/proc/task.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -64,5 +64,4 @@
 
 #define TASK                 THE->task
-
 
 struct thread;
Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/proc/thread.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -52,5 +52,4 @@
 #include <arch.h>
 
-
 #define THREAD              THE->thread
 
Index: kernel/generic/include/smp/smp_call.h
===================================================================
--- kernel/generic/include/smp/smp_call.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/smp/smp_call.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -49,6 +49,4 @@
 } smp_call_t;
 
-
-
 extern void smp_call(unsigned int, smp_call_func_t, void *);
 extern void smp_call_async(unsigned int, smp_call_func_t, void *, smp_call_t *);
@@ -62,10 +60,6 @@
 #endif
 
-
-
-
 #endif	/* KERN_SMP_CALL_H_ */
 
 /** @}
  */
-
Index: kernel/generic/include/synch/condvar.h
===================================================================
--- kernel/generic/include/synch/condvar.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/synch/condvar.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -69,5 +69,4 @@
     irq_spinlock_t *irq_lock, uint32_t usec, int flags);
 
-
 #endif
 
Index: kernel/generic/include/synch/rcu.h
===================================================================
--- kernel/generic/include/synch/rcu.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/synch/rcu.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -40,5 +40,4 @@
 #include <barrier.h>
 
-
 /** Use to assign a pointer to newly initialized data to a rcu reader
  * accessible pointer.
@@ -92,12 +91,8 @@
 #define rcu_access(ptr) ACCESS_ONCE(ptr)
 
-
-
-
 #include <debug.h>
 #include <preemption.h>
 #include <cpu.h>
 #include <proc/thread.h>
-
 
 extern bool rcu_read_locked(void);
@@ -122,5 +117,4 @@
 extern void _rcu_synchronize(bool expedite);
 
-
 #ifdef RCU_PREEMPT_A
 
@@ -158,5 +152,4 @@
 extern rcu_gp_t _rcu_cur_gp;
 extern void _rcu_signal_read_unlock(void);
-
 
 /** Unconditionally records a quiescent state for the local cpu. */
Index: kernel/generic/include/synch/rcu_types.h
===================================================================
--- kernel/generic/include/synch/rcu_types.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/synch/rcu_types.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -43,5 +43,4 @@
 #endif
 
-
 /* Fwd decl. */
 struct thread;
@@ -58,5 +57,4 @@
 	struct rcu_item *next;
 } rcu_item_t;
-
 
 /** RCU related per-cpu data. */
@@ -140,5 +138,4 @@
 } rcu_cpu_data_t;
 
-
 /** RCU related per-thread data. */
 typedef struct rcu_thread_data {
@@ -165,5 +162,4 @@
 } rcu_thread_data_t;
 
-
 #endif
 
Index: kernel/generic/include/synch/workqueue.h
===================================================================
--- kernel/generic/include/synch/workqueue.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/synch/workqueue.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -56,6 +56,4 @@
 } work_t;
 
-
-
 extern void workq_global_init(void);
 extern void workq_global_worker_init(void);
@@ -74,5 +72,4 @@
 extern void workq_global_print_info(void);
 
-
 extern void workq_after_thread_ran(void);
 extern void workq_before_thread_is_ready(struct thread *);
Index: kernel/generic/include/verify.h
===================================================================
--- kernel/generic/include/verify.h	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/include/verify.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -36,5 +36,4 @@
 #define KERN_VERIFY_H_
 
-
 #ifdef CONFIG_VERIFY_VCC
 
@@ -66,5 +65,4 @@
 #endif /* CONFIG_VERIFY_VCC */
 
-
 #endif