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

fix spelling of FIXME and license tag

Browse source
This commit is contained in:
Gao Xin 2015-05-15 15:59:15 +10:00 committed by Gerwin Klein
parent 6e6e471381
commit f854c130f3
3 changed files with 14 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1,4 +1,14 @@
% @LICENSE(OKL_CORE)
%
% Copyright 2014, General Dynamics C4 Systems
%
% This software may be distributed and modified according to the terms of
% the GNU General Public License version 2. Note that NO WARRANTY is provided.
% See "LICENSE_GPLv2.txt" for details.
%
% @TAG(GD_GPL)
%
This module contains functions that maintaining the bootinfo structure for init-thread .

4
haskell/src/SEL4/Kernel/Init.lhs
View file

@ -168,7 +168,7 @@ Set up the kernel's VM environment.
\end{impdetails}
\begin{impdetails}
FIX ME: is the follwing still necessary in haskell?
FIXME: is the follwing still necessary in haskell?
> initCPU
> initPlatform
@ -267,7 +267,7 @@ Insert thread into rootCNodeCap
> return ()
create idle thread and set the Current Thread to Idle Thread
FIX ME: Seems we need to setCurThread and setSchedulerAction here, otherwise errors raised.
FIXME: Seems we need to setCurThread and setSchedulerAction here, otherwise errors raised.
> createIdleThread :: KernelInit ()
> createIdleThread = do

2
haskell/src/SEL4/Kernel/VSpace/ARM.lhs
View file

@ -113,7 +113,7 @@ However we assume that the result of getMemoryRegions is actually [0,1<<24] and
In c-code we need to Detype the armGlobalPagetTable which is c-equvilance to memzero(armKSGlobalPT,1 << PT_SIZE_BITS)
FIX ME: We might still need to map vector table
FIXME: We might still need to map vector table
> mapGlobalsFrame
> kernelDevices <- doMachineOp getKernelDevices