1 files changed, 9 insertions, 0 deletions
diff --git a/common/main.c b/common/main.c
index fa5434c..fb5d26e 100644
--- a/common/main.c
+++ b/common/main.c
@@ -17,6 +17,15 @@
 #include <arch/irq.h>
 #include <libfdt.h>
 
+/**
+ * Boot entry of kernel actual.
+ *
+ * Sets up all kernel subsystems and jumps into \c init program, does not
+ * return.
+ *
+ * @param fdt Global FDT pointer.
+ * @return Should not.
+ */
 void __main main(void *fdt)
 {
 	/* dbg uses direct mapping at this point */