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