From c52dfe953b6e65a9ed93e54311ac0313c4a0c2e5 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 11 Feb 2022 14:56:38 +1100 Subject: [PATCH] aarch64 haskell: remove Simulator mention No plans to resurrect Haskell simulation any more, so the comments are mostly going to be confusing to people who come at this fresh. Signed-off-by: Gerwin Klein --- spec/haskell/src/SEL4/Kernel/VSpace/AARCH64.hs | 6 ------ 1 file changed, 6 deletions(-) diff --git a/spec/haskell/src/SEL4/Kernel/VSpace/AARCH64.hs b/spec/haskell/src/SEL4/Kernel/VSpace/AARCH64.hs index c3542a623..21084b18f 100644 --- a/spec/haskell/src/SEL4/Kernel/VSpace/AARCH64.hs +++ b/spec/haskell/src/SEL4/Kernel/VSpace/AARCH64.hs @@ -850,15 +850,9 @@ performARMMMUInvocation i = withoutPreemption $ do InvokeVCPU _ -> fail "performARMMMUInvocation: not an MMU invocation" return $ [] -{- Simulator Support -} - storePTE :: PPtr PTE -> PTE -> Kernel () storePTE slot pte = do setObject slot pte --- No simulator support currently available for RISCV, but this would be the --- hook for PTEs: --- doMachineOp $ storeWordVM (PPtr $ fromPPtr slot) $ wordFromPTE pte - {- Unimplemented Boot Code Stubs -}