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