Index: contrib/arch/HelenOS.adl
===================================================================
--- contrib/arch/HelenOS.adl	(revision d4112ba890bb5b18f3a58301c0de0d287cfee237)
+++ contrib/arch/HelenOS.adl	(revision 1b06a9de872a3c7e1b8c0956067707605a97ced8)
@@ -1,3 +1,3 @@
-system architecture HelenOS version 0.4.1 {
+system architecture HelenOS version 0.5.0 {
 	/* SPARTAN kernel */
 	inst kernel kernel;