portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

haskell: tuned boot info docs

Browse source
This commit is contained in:
Gerwin Klein 2015-05-19 19:24:43 +10:00
parent f854c130f3
commit 0d0eb5c868
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
haskell/src/SEL4/Kernel/BootInfo.lhs
View file

@ -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