Index: kernel/generic/src/lib/elf.c
===================================================================
--- kernel/generic/src/lib/elf.c	(revision 0a4667a7217b35601fca829679372413479e2c30)
+++ kernel/generic/src/lib/elf.c	(revision e3f819f43b108ff90a50324cbced9c2b89d2171e)
@@ -60,5 +60,4 @@
 static int segment_header(elf_segment_header_t *, elf_header_t *, as_t *,
     unsigned int);
-static int section_header(elf_section_header_t *, elf_header_t *, as_t *);
 static int load_segment(elf_segment_header_t *, elf_header_t *, as_t *);
 
@@ -92,7 +91,4 @@
 		return EE_INCOMPATIBLE;
 
-	if (header->e_shentsize != sizeof(elf_section_header_t))
-		return EE_INCOMPATIBLE;
-
 	/* Check if the object type is supported. */
 	if (header->e_type != ET_EXEC)
@@ -111,15 +107,4 @@
 
 		int rc = segment_header(seghdr, header, as, flags);
-		if (rc != EE_OK)
-			return rc;
-	}
-
-	/* Inspect all section headers and process them. */
-	for (i = 0; i < header->e_shnum; i++) {
-		elf_section_header_t *sechdr =
-		    &((elf_section_header_t *)(((uint8_t *) header) +
-		    header->e_shoff))[i];
-
-		int rc = section_header(sechdr, header, as);
 		if (rc != EE_OK)
 			return rc;
@@ -240,34 +225,4 @@
 }
 
-/** Process section header.
- *
- * @param entry Segment header.
- * @param elf   ELF header.
- * @param as    Address space into wich the ELF is being loaded.
- *
- * @return EE_OK on success, error code otherwise.
- *
- */
-static int section_header(elf_section_header_t *entry, elf_header_t *elf,
-    as_t *as)
-{
-	switch (entry->sh_type) {
-	case SHT_PROGBITS:
-		if (entry->sh_flags & SHF_TLS) {
-			/* .tdata */
-		}
-		break;
-	case SHT_NOBITS:
-		if (entry->sh_flags & SHF_TLS) {
-			/* .tbss */
-		}
-		break;
-	default:
-		break;
-	}
-
-	return EE_OK;
-}
-
 /** @}
  */