Index: contrib/arch/kernel/kernel.adl
===================================================================
--- contrib/arch/kernel/kernel.adl	(revision 6fa9a99d9fa209ffacbdbc40837bf0f435c98e1b)
+++ contrib/arch/kernel/kernel.adl	(revision 0f17bffb9edacd5345a8cb7bd518bccfb25c3e30)
@@ -21,11 +21,4 @@
 			?sys_debug_disable_console
 		)*
-};
-
-interface sys_tls {
-		/* Set thread-local storage pointer (on architectures where kernel mode is required) */
-		sysarg_t sys_tls_set(sysarg_t addr);
-	protocol:
-		?sys_tls_set*
 };