diff --git a/efi/console.c b/efi/console.c
index a01e14e89..d7ed0b4a5 100644
--- a/efi/console.c
+++ b/efi/console.c
@@ -1,3 +1,7 @@
+/*
+ * Copyright 2011-2014 Intel Corporation - All Rights Reserved
+ */
+
 #include <syslinux/linux.h>
 #include "efi.h"
 #include <string.h>
diff --git a/efi/derivative.c b/efi/derivative.c
index ca43b98b3..12edd7052 100644
--- a/efi/derivative.c
+++ b/efi/derivative.c
@@ -1,3 +1,7 @@
+/*
+ * Copyright 2012-2014 Intel Corporation - All Rights Reserved
+ */
+
 #include <syslinux/config.h>
 
 /*
diff --git a/efi/diskio.c b/efi/diskio.c
index 01ab2a0e5..d6a160e1b 100644
--- a/efi/diskio.c
+++ b/efi/diskio.c
@@ -1,3 +1,7 @@
+/*
+ * Copyright 2011-2014 Intel Corporation - All Rights Reserved
+ */
+
 #include <fs.h>
 #include <ilog2.h>
 #include <disk.h>
diff --git a/efi/main.c b/efi/main.c
index d37a57b54..0e6b1370d 100644
--- a/efi/main.c
+++ b/efi/main.c
@@ -1,3 +1,7 @@
+/*
+ * Copyright 2011-2014 Intel Corporation - All Rights Reserved
+ */
+
 #include <codepage.h>
 #include <core.h>
 #include <fs.h>
diff --git a/efi/mem.c b/efi/mem.c
index 50e93b08a..67e8221d1 100644
--- a/efi/mem.c
+++ b/efi/mem.c
@@ -1,3 +1,7 @@
+/*
+ * Copyright 2012-2014 Intel Corporation - All Rights Reserved
+ */
+
 #include <mem/malloc.h>
 #include <string.h>
 #include "efi.h"
diff --git a/efi/pxe.c b/efi/pxe.c
index 1acfcdc53..62fddb081 100644
--- a/efi/pxe.c
+++ b/efi/pxe.c
@@ -1,3 +1,7 @@
+/*
+ * Copyright 2013-2014 Intel Corporation - All Rights Reserved
+ */
+
 #include <syslinux/firmware.h>
 #include <syslinux/pxe_api.h>
 #include "efi.h"
diff --git a/efi/tcp.c b/efi/tcp.c
index f041b677c..1b9b93f28 100644
--- a/efi/tcp.c
+++ b/efi/tcp.c
@@ -1,3 +1,7 @@
+/*
+ * Copyright 2013-2014 Intel Corporation - All Rights Reserved
+ */
+
 #include "efi.h"
 #include "net.h"
 #include "fs/pxe/pxe.h"
diff --git a/efi/udp.c b/efi/udp.c
index 59bb42639..80cad868d 100644
--- a/efi/udp.c
+++ b/efi/udp.c
@@ -1,3 +1,7 @@
+/*
+ * Copyright 2013-2014 Intel Corporation - All Rights Reserved
+ */
+
 #include <string.h>
 #include <minmax.h>
 #include "efi.h"