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