From 0d0eb5c868159b376e012fd28c0b69b709091272 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Tue, 19 May 2015 19:24:43 +1000 Subject: [PATCH] haskell: tuned boot info docs --- haskell/src/SEL4/Kernel/BootInfo.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/haskell/src/SEL4/Kernel/BootInfo.lhs b/haskell/src/SEL4/Kernel/BootInfo.lhs index b22f9bc92..8f8fea015 100644 --- a/haskell/src/SEL4/Kernel/BootInfo.lhs +++ b/haskell/src/SEL4/Kernel/BootInfo.lhs @@ -10,7 +10,7 @@ -This module contains functions that maintaining the bootinfo structure for init-thread . +This module contains functions for maintaining the bootinfo structure that is passed to the initial user thread. > module SEL4.Kernel.BootInfo where