SUMMARY.md · newbee/seL4内核参考手册

* [关于](README.md)
* [原文重要信息](README1.md)
* [第1章 简介](./01Introduction/1.0-Introduction.md)
* [第2章 内核服务和对象](./02KernelServicesandObjects/2.0-KernelServicesandObjects.md)
	* [第2.1节  基于能力的访问控制](./02KernelServicesandObjects/2.1-Capability-basedAccessControl.md)
	* [第2.2节  系统调用](./02KernelServicesandObjects/2.2-SystemCalls.md)
	* [第2.3节  内核对象](./02KernelServicesandObjects/2.3-KernelObjects.md)
	* [第2.4节  内核内存分配](./02KernelServicesandObjects/2.4-KernelMemoryAllocation.md)
		* [2.4.1  重用内存](./02KernelServicesandObjects/2.4.1-ReusingMemory.md)
		* [2.4.2  对象大小概览](./02KernelServicesandObjects/2.4.2-SummaryofObjectSizes.md)
* [第3章  能力空间](./03CapabilitySpaces/3.0-CapabilitySpaces.md)
	* [第3.1节  能力和能力空间管理](./03CapabilitySpaces/3.1.1-CSpaceCreation.md)
		* [3.1.1  创建CSpace](./03CapabilitySpaces/3.1.1-CSpaceCreation.md)
		* [3.1.2  CNode方法](./03CapabilitySpaces/3.1.2-CNodeMethods.md)
		* [3.1.3 新分配对象的能力](./03CapabilitySpaces/3.1.3-CapabilitiestoNewly-RetypedObjects.md)
		* [3.1.4  能力的权限[^1]](./03CapabilitySpaces/3.1.4-CapabilityRights.md)
		* [3.1.5  能力派生树[^1]](./03CapabilitySpaces/3.1.5-CapabilityDerivationTree.md)
	* [第3.2节 删除和撤销](./03CapabilitySpaces/3.2-DeletionandRevocation.md)
	* [第3.3节  CSpace寻址](./03CapabilitySpaces/3.3.0-CSpaceAddressing.md)
		* [3.3.1  能力地址查找](./03CapabilitySpaces/3.3.1-CapabilityAddressLookup.md)
		* [3.3.2 能力寻址](./03CapabilitySpaces/3.3.2-AddressingCapabilities.md)
	* [第3.4节  查找失败描述](./03CapabilitySpaces/3.4.0-LookupFailureDescription.md)
		* [3.4.1 无效的根](./03CapabilitySpaces/3.4.1-InvalidRoot.md)
		* [3.4.2 缺少能力](./03CapabilitySpaces/3.4.2-MissingCapability.md)
		* [3.4.3 深度不匹配](./03CapabilitySpaces/3.4.3-DepthMismatch.md)
		* [3.4.4 保护位不匹配](./03CapabilitySpaces/3.4.4-GuardMismatch.md)
* [第4章  消息传递(IPC)](./04IPC/4.0-MessagePassing.md)
	* [第4.1节  消息寄存器](./04IPC/4.1-MessageRegisters.md)
	* [第4.2节  端点(Endpoints)](./04IPC/4.2-Endpoints.md)
		* [4.2.1  端点标记(Badges)](./04IPC/4.2.1-EndpointBadges.md)
		* [4.2.2  能力传递](./04IPC/4.2.2-CapabilityTransfer.md)
		* [4.2.3 错误](./04IPC/4.2.3-Errors.md)
		* [4.2.4  呼叫与回复](./04IPC/4.2.4-CallingandReplying.md)
* [第5章  通知](./05Notifications/5.0-Notifications.md)
	* [第5.1节  通知对象](./05Notifications/5.1-NotificationObjects.md)
	* [第5.2节  发信号、轮询和等待](./05Notifications/5.2-SignallingPollingandWaiting.md)
	* [第5.3节  绑定通知](./05Notifications/5.3-BindingNotifications.md)
* [第6章  线程与执行](./06ThreadsandExecution/6.0.1-ThreadsandExecution.md)
	* [第6.1节  线程](./06ThreadsandExecution/6.0.1-ThreadsandExecution.md)
		* [6.1.1  线程控制块](./06ThreadsandExecution/6.1.1-Threadcontrolblocks.md)
		* [6.1.2 线程创建](./06ThreadsandExecution/6.1.2-ThreadCreation.md)
		* [6.1.3  线程挂起](./06ThreadsandExecution/6.1.3-ThreadDeactivation.md)
		* [6.1.4  调度](./06ThreadsandExecution/6.1.4-Scheduling.md)
		* [6.1.5  MCS调度](./06ThreadsandExecution/6.1.5-MCSScheduling.md)
		* [6.1.6  调度上下文[^1]](./06ThreadsandExecution/6.1.6-SchedulingContexts.md)
		* [6.1.7  被动线程](./06ThreadsandExecution/6.1.7-PassiveThreads.md)
		* [6.1.8  调度上下文创建](./06ThreadsandExecution/6.1.8-SchedulingContextCreation.md)
		* [6.1.9  调度上下文让渡](./06ThreadsandExecution/6.1.9-SchedulingContextDonation.md)
		* [6.1.10  调度算法](./06ThreadsandExecution/6.1.a-Schedulingalgorithm.md)
		* [6.1.11  异常](./06ThreadsandExecution/6.1.b-Exceptions.md)
			* [6.1.11.1  常规异常](./06ThreadsandExecution/6.1.b.1-StandardExceptions.md)
			* [6.1.11.2  超时异常(仅MCS)](./06ThreadsandExecution/6.1.b.2-TimeoutExceptions.md)
		* [6.1.12  寄存器读写](./06ThreadsandExecution/6.1.c-MessageLayoutoftheRW-RegistersMethods.md)
	* [第6.2节  错误](./06ThreadsandExecution/6.2.0-Faults.md)
		* [6.2.1  能力错误](./06ThreadsandExecution/6.2.1-CapabilityFaults.md)
		* [6.2.2 未知系统调用](./06ThreadsandExecution/6.2.2-UnknownSyscall.md)
		* [6.2.3  用户异常](./06ThreadsandExecution/6.2.3-UserException.md)
		* [6.2.4  调试异常：断点和监视点](./06ThreadsandExecution/6.2.4-BreakpointsandWatchpoints.md)
		* [6.2.5  调试异常：单步执行](./06ThreadsandExecution/6.2.5-Single-stepping.md)
		* [6.2.6  超时异常(仅MCS)](./06ThreadsandExecution/6.2.6-TimeoutFault.md)
		* [6.2.7 虚拟内存错误](./06ThreadsandExecution/6.2.7-VMFault.md)
	* [第6.3节  调度域](./06ThreadsandExecution/6.3-Domains.md)
	* [第6.4节  虚拟化](./06ThreadsandExecution/6.4.0-Virtualisation.md)
		* [6.4.1 ARM](./06ThreadsandExecution/6.4.1-ARM.md)
		* [6.4.2  x86](./06ThreadsandExecution/6.4.2-x86.md)
* [第7章  地址空间和虚拟内存](./07AddressSapcesandVirtualMemory/7.0-AddressSpacesandVM.md)
	* [第7.1节  对象](./07AddressSapcesandVirtualMemory/7.1.1-HardwareVirtualMemoryObjects.md)
		* [7.1.1  硬件虚拟内存对象](./07AddressSapcesandVirtualMemory/7.1.1-HardwareVirtualMemoryObjects.md)
			* [7.1.1.1  IA-32](./07AddressSapcesandVirtualMemory/7.1.1.1-IA-32.md)
			* [7.1.1.2  x64](./07AddressSapcesandVirtualMemory/7.1.1.2-x64.md)
			* [7.1.1.3  AArch32](./07AddressSapcesandVirtualMemory/7.1.1.3-AArch32.md)
			* [7.1.1.4  AArch64](./07AddressSapcesandVirtualMemory/7.1.1.4-AArch64.md)
		* [7.1.2  RISC-V](./07AddressSapcesandVirtualMemory/7.1.2-RISC-V.md)
			* [7.1.2.1  RISC-V 32位](./07AddressSapcesandVirtualMemory/7.1.2.1-RISC-V32.md)
			* [7.1.2.2  RISC-V 64位](./07AddressSapcesandVirtualMemory/7.1.2.2-RISC-V64.md)
		* [7.1.3  页帧](./07AddressSapcesandVirtualMemory/7.1.3-Page.md)
			* [7.1.3.1  AArch32页帧大小](./07AddressSapcesandVirtualMemory/7.1.3.1-AArch32pagesizes.md)
			* [7.1.3.2  AArch64页帧大小](./07AddressSapcesandVirtualMemory/7.1.3.2-AArch64pagesizes.md)
			* [7.1.3.3  IA-32页帧大小](./07AddressSapcesandVirtualMemory/7.1.3.3-IA-32pagesizes.md)
			* [7.1.3.4  X64页帧大小](./07AddressSapcesandVirtualMemory/7.1.3.4-X86pagesizes.md)
			* [7.1.3.5  RISC-V32页帧大小](./07AddressSapcesandVirtualMemory/7.1.3.5-RISC-V32-bitpagesizes.md)
			* [7.1.3.6  RISC-V64页帧大小](./07AddressSapcesandVirtualMemory/7.1.3.6-RISC-V64-bitpagesizes.md)
		* [7.1.4  ASID控制](./07AddressSapcesandVirtualMemory/7.1.4-ASIDControl.md)
		* [7.1.5  ASID池](./07AddressSapcesandVirtualMemory/7.1.5-ASIDPool.md)
	* [第7.2节  映射属性](./07AddressSapcesandVirtualMemory/7.2-MappingAttributes.md)
	* [第7.3节  共享内存](./07AddressSapcesandVirtualMemory/7.3-SharingMemory.md)
	* [第7.4节 页错误](./07AddressSapcesandVirtualMemory/7.4-PageFaults.md)
* [第8章  硬件I/O](./08HardwareIO/8.1-InterruptDelivery.md)
	* [第8.1节  中断传递](./08HardwareIO/8.1-InterruptDelivery.md)
	* [第8.2节 x86特定的I/O](./08HardwareIO/8.2.1-x86Interrupts.md)
		* [8.2.1  中断](./08HardwareIO/8.2.1-x86Interrupts.md)
		* [8.2.2  I/O端口](./08HardwareIO/8.2.2-IOPorts.md)
		* [8.2.3  I/O空间](./08HardwareIO/8.2.3-IOSpace.md)
* [第9章  系统启动](./09SystemBootstrapping/9.1-InitialThreadEnvironment.md)
	* [第9.1节  初始线程环境](./09SystemBootstrapping/9.1-InitialThreadEnvironment.md)
	* [第9.2节  BootInfo页](./09SystemBootstrapping/9.2-BootInfoFrame.md)
	* [第9.3节  命令行引导参数](./09SystemBootstrapping/9.3-BootCommand-lineArguments.md)
* [第10章 seL4 API参考](./10seL4APIReference/10.1.0-API-ErrorCodes.md)
	* [第10.1节  错误码](./10seL4APIReference/10.1.0-API-ErrorCodes.md)
		* [10.1.1  无效参数](./10seL4APIReference/10.1.1-InvalidArgument.md)
		* [10.1.2  无效能力](./10seL4APIReference/10.1.2-InvalidCapability.md)
		* [10.1.3  非法操作](./10seL4APIReference/10.1.3-IllegalOperation.md)
		* [10.1.4  范围错误](./10seL4APIReference/10.1.4-RangeError.md)
		* [10.1.5  对齐错误](./10seL4APIReference/10.1.5-AlignmentError.md)
		* [10.1.6  查找失败](./10seL4APIReference/10.1.6-FailedLookup.md)
		* [10.1.7  消息过短](./10seL4APIReference/10.1.7-TruncatedMessage.md)
		* [10.1.8  slot被占用](./10seL4APIReference/10.1.8-DeleteFirst.md)
		* [10.1.9  对象未撤销](./10seL4APIReference/10.1.9-RevokeFirst.md)
		* [10.1.10  内存不足](./10seL4APIReference/10.1.a-NotEnoughMemory.md)
	* [第10.2节  系统调用](./10seL4APIReference/10.2.1-GeneralSystemCalls.md)
		* [10.2.1  通用系统调用](./10seL4APIReference/10.2.1-GeneralSystemCalls.md)
			* [10.2.1.1  Send](./10seL4APIReference/10.2.1.1-Send.md)
			* [10.2.1.2  Recv](./10seL4APIReference/10.2.1.2-Recv.md)
			* [10.2.1.3  Call](./10seL4APIReference/10.2.1.3-Call.md)
			* [10.2.1.4  Reply](./10seL4APIReference/10.2.1.4-Reply.md)
			* [10.2.1.5  NBSend](./10seL4APIReference/10.2.1.5-Non-BlockingSend.md)
			* [10.2.1.6  ReplyRecv](./10seL4APIReference/10.2.1.6-ReplyRecv.md)
			* [10.2.1.7  NBRecv](./10seL4APIReference/10.2.1.7-NbRecv.md)
			* [10.2.1.8  Yield](./10seL4APIReference/10.2.1.8-Yield.md)
			* [10.2.1.9  Signal](./10seL4APIReference/10.2.1.9-Signal.md)
			* [10.2.1.10  Wait](./10seL4APIReference/10.2.1.a-Wait.md)
			* [10.2.1.11  Poll](./10seL4APIReference/10.2.1.b-Poll.md)
		* [10.2.2  通用系统调用(MCS)](./10seL4APIReference/10.2.2-GeneralSystemCallsMCS.md)
			* [10.2.2.1  Send](./10seL4APIReference/10.2.2.1-Send.md)
			* [10.2.2.2  Recv](./10seL4APIReference/10.2.2.2-Recv.md)
			* [10.2.2.3  Call](./10seL4APIReference/10.2.2.3-Call.md)
			* [10.2.2.4  NBSend](./10seL4APIReference/10.2.2.4-Non-BlockingSend.md)
			* [10.2.2.5  ReplyRecv](./10seL4APIReference/10.2.2.5-ReplyRecv.md)
			* [10.2.2.6  NBRecv](./10seL4APIReference/10.2.2.6-NbRecv.md)
			* [10.2.2.7  NBSendRecv](./10seL4APIReference/10.2.2.7-NBSendRecv.md)
			* [10.2.2.8  NBSend Wait](./10seL4APIReference/10.2.2.8-NBSendWait.md)
			* [10.2.2.9  Yield](./10seL4APIReference/10.2.2.9-Yield.md)
			* [10.2.2.10  Wait](./10seL4APIReference/10.2.2.a-Wait.md)
			* [10.2.2.11  NBWait](./10seL4APIReference/10.2.2.b-NBWait.md)
			* [10.2.2.12  Poll](./10seL4APIReference/10.2.2.c-Poll.md)
			* [10.2.2.13  Signal](./10seL4APIReference/10.2.2.d-Signal.md)
		* [10.2.3  调试系统调用](./10seL4APIReference/10.2.3-DebuggingSystemCalls.md)
			* [10.2.3.1  PutChar](./10seL4APIReference/10.2.3.1-PutChar.md)
			* [10.2.3.2  DumpScheduler](./10seL4APIReference/10.2.3.2-Dumpscheduler.md)
			* [10.2.3.3  Halt](./10seL4APIReference/10.2.3.3-Halt.md)
			* [10.2.3.4  Snapshot](./10seL4APIReference/10.2.3.4-Snapshot.md)
			* [10.2.3.5  CapIdentify](./10seL4APIReference/10.2.3.5-CapIdentify.md)
			* [10.2.3.6  NameThread](./10seL4APIReference/10.2.3.6-NameThread.md)
			* [10.2.3.7  SendIPI(仅ARM)](./10seL4APIReference/10.2.3.7-SendSGI0-15.md)
			* [10.2.3.8  Run](./10seL4APIReference/10.2.3.8-Run.md)
		* [10.2.4  基准测试系统调用](./10seL4APIReference/10.2.4-BenchmarkingSystemCalls.md)
			* [10.2.4.1  ResetLog](./10seL4APIReference/10.2.4.1-ResetLog.md)
			* [10.2.4.2  FinalizeLog](./10seL4APIReference/10.2.4.2-FinalizeLog.md.md)
			* [10.2.4.3  SetLogBuffer](./10seL4APIReference/10.2.4.3-SetLogBuffer.md)
			* [10.2.4.4  NullSyscall](./10seL4APIReference/10.2.4.4-NullSyscall.md)
			* [10.2.4.5  FlushCaches](./10seL4APIReference/10.2.4.5-FlushCaches.md)
			* [10.2.4.6  GetThreadUtilisation](./10seL4APIReference/10.2.4.6-GetThreadUtilisation.md)
			* [10.2.4.7  ResetThreadUtilisation](./10seL4APIReference/10.2.4.7-ResetThreadUtilisation.md)
		* [10.2.5  X86系统调用](./10seL4APIReference/10.2.5-X86VMEnter.md)
			* [10.2.5.1  VMEnter](./10seL4APIReference/10.2.5-X86VMEnter.md)
	* [第10.3节  不依赖架构的对象方法[^1]](./10seL4APIReference/10.3.1.1-CancelBadgedSends.md)
		* [10.3.1  seL4_CNode](./10seL4APIReference/10.3.1.1-CancelBadgedSends.md)
			* [10.3.1.1  CancelBadgedSends](./10seL4APIReference/10.3.1.1-CancelBadgedSends.md)
			* [10.3.1.2  Copy](./10seL4APIReference/10.3.1.2-Copy.md)
			* [10.3.1.3  Delete](./10seL4APIReference/10.3.1.3-Delete.md)
			* [10.3.1.4  Mint](./10seL4APIReference/10.3.1.4-Mint.md)
			* [10.3.1.5  Move](./10seL4APIReference/10.3.1.5-Move.md)
			* [10.3.1.6  Mutate](./10seL4APIReference/10.3.1.6-Mutate.md)
			* [10.3.1.7  Revoke](./10seL4APIReference/10.3.1.7-Revoke.md)
			* [10.3.1.8  Rotate](./10seL4APIReference/10.3.1.8-Rotate.md)
			* [10.3.1.9  SaveCaller](./10seL4APIReference/10.3.1.9-SaveCaller.md)
		* [10.3.2  seL4_DomainSet](./10seL4APIReference/10.3.2.1-DomainSetSet.md)
			* [10.3.2.1  Set](./10seL4APIReference/10.3.2.1-DomainSetSet.md)
		* [10.3.3  seL4_IRQControl](./10seL4APIReference/10.3.3.1-IRQControlGet.md)
			* [10.3.3.1  Get](./10seL4APIReference/10.3.3.1-IRQControlGet.md)
		* [10.3.4  seL4_IRQHandler](./10seL4APIReference/10.3.4.1-IRQHandlerAcknowledge.md)
			* [10.3.4.1  Ack](./10seL4APIReference/10.3.4.1-IRQHandlerAcknowledge.md)
			* [10.3.4.2  Clear](./10seL4APIReference/10.3.4.2-IRQHandlerClear.md)
			* [10.3.4.3  SetNotification](./10seL4APIReference/10.3.4.3-IRQHandlerSetNtfn.md)
		* [10.3.5  seL4_SchedContext](./10seL4APIReference/10.3.5.1-SchedContextBind.md)
			* [10.3.5.1  Bind](./10seL4APIReference/10.3.5.1-SchedContextBind.md)
			* [10.3.5.2  Consumed](./10seL4APIReference/10.3.5.2-Consumed.md)
			* [10.3.5.3  Unbind](./10seL4APIReference/10.3.5.3-Unbind.md)
			* [10.3.5.4  UnbindObject](./10seL4APIReference/10.3.5.4-UnbindObject.md)
			* [10.3.5.5  YieldTo](./10seL4APIReference/10.3.5.5-YieldTo.md)
		* [10.3.6  seL4_SchedControl](./10seL4APIReference/10.3.6.1-SchedControlConfigure.md)
			* [10.3.6.1  Configure](./10seL4APIReference/10.3.6.1-SchedControlConfigure.md)
		* [10.3.7  seL4_TCB](./10seL4APIReference/10.3.7.1-TCBBindNotification.md)
			* [10.3.7.1  BindNotification](./10seL4APIReference/10.3.7.1-TCBBindNotification.md)
			* [10.3.7.2  Configure(MCS)](./10seL4APIReference/10.3.7.2-TCBConfigure-MCS.md)
			* [10.3.7.3  ConfigureSingleStepping](./10seL4APIReference/10.3.7.3-TCBConfigureSingleStepping.md)
			* [10.3.7.4  Configure](./10seL4APIReference/10.3.7.4-TCBConfigure.md)
			* [10.3.7.5  CopyRegisters](./10seL4APIReference/10.3.7.5-TCBCopyRegisters.md)
			* [10.3.7.6  GetBreakpoint](./10seL4APIReference/10.3.7.6-TCBGetBreakpoint.md)
			* [10.3.7.7  ReadRegisters](./10seL4APIReference/10.3.7.7-TCBReadRegisters.md)
			* [10.3.7.8  Resume](./10seL4APIReference/10.3.7.8-TCBResume.md)
			* [10.3.7.9  SetBreakpoint](./10seL4APIReference/10.3.7.9-TCBSetBreakpoint.md)
			* [10.3.7.10  SetAffinity(非MCS)](./10seL4APIReference/10.3.7.a-TCBSetAffinity.md)
			* [10.3.7.11  SetIPCBuffer](./10seL4APIReference/10.3.7.b-TCBSetIPCBuffer.md)
			* [10.3.7.12  SetMCPriority](./10seL4APIReference/10.3.7.c-TCBSetMCPriority.md)
			* [10.3.7.13  SetPriority](./10seL4APIReference/10.3.7.d-TCBSetPriority.md)
			* [10.3.7.14  SetSchedParams (MCS)](./10seL4APIReference/10.3.7.e-TCBSetSchedParams-MCS.md)
			* [10.3.7.15  SetSchedParams](./10seL4APIReference/10.3.7.f-TCBSetSchedParams.md)
			* [10.3.7.16  SetSpace](./10seL4APIReference/10.3.7.g-TCBSetSpace.md)
			* [10.3.7.17  SetTLSBase](./10seL4APIReference/10.3.7.h-TCBSetTLSBase.md)
			* [10.3.7.18  SetTimeoutEndpoint(MCS)](./10seL4APIReference/10.3.7.i-TCBSetTimeoutEndpoint.md)
			* [10.3.7.19  Suspend](./10seL4APIReference/10.3.7.j-TCBSuspend.md)
			* [10.3.7.20  UnbindNotification](./10seL4APIReference/10.3.7.k-TCBUnbindNotification.md)
			* [10.3.7.21  UnsetBreakpoint](./10seL4APIReference/10.3.7.l-TCBUnsetBreakpoint.md)
			* [10.3.7.22  WriteRegisters](./10seL4APIReference/10.3.7.m-TCBWriteRegisters.md)
		* [10.3.8  seL4_Untyped](./10seL4APIReference/10.3.8.1-UntypedRetype.md)
			* [10.3.8.1  Retype](./10seL4APIReference/10.3.8.1-UntypedRetype.md)
	* [第10.4节  x86特定的对象方法](./10seL4APIReference/10.4.1.1-x86IRQControlGetIOAPIC.md)
		* [10.4.1  seL4_IRQControl](./10seL4APIReference/10.4.1.1-x86IRQControlGetIOAPIC.md)
			* [10.4.1.1  GetIOAPIC](./10seL4APIReference/10.4.1.1-x86IRQControlGetIOAPIC.md)
			* [10.4.1.2  GetMSI](./10seL4APIReference/10.4.1.2-x86IRQControlGetMSI.md)
		* [10.4.2  seL4_TCB](./10seL4APIReference/10.4.2.1-TCBSetEPTRoot.md)
			* [10.4.2.1  SetEPTRoot](./10seL4APIReference/10.4.2.1-TCBSetEPTRoot.md)
		* [10.4.3  seL4_X86_ASIDControl](./10seL4APIReference/10.4.3.1-x86ASIDControlMakePool.md)
			* [10.4.3.1  MakePool](./10seL4APIReference/10.4.3.1-x86ASIDControlMakePool.md)
		* [10.4.4  seL4_X86_ASIDPool](./10seL4APIReference/10.4.4.1-x86ASIDPoolAssign.md)
			* [10.4.4.1  Assign](./10seL4APIReference/10.4.4.1-x86ASIDPoolAssign.md)
		* [10.4.5  seL4_X86_EPTPD](./10seL4APIReference/10.4.5.1-x86EPTPDMap.md)
			* [10.4.5.1  Map](./10seL4APIReference/10.4.5.1-x86EPTPDMap.md)
			* [10.4.5.2  Unmap](./10seL4APIReference/10.4.5.2-x86EPTPDUnmap.md)
		* [10.4.6  seL4_X86_EPTPDPT](./10seL4APIReference/10.4.6.1-x86EPTPDPTMap.md)
			* [10.4.6.1  Map](./10seL4APIReference/10.4.6.1-x86EPTPDPTMap.md)
			* [10.4.6.2  Unmap](./10seL4APIReference/10.4.6.2-x86EPTPDPTUnmap.md)
		* [10.4.7  seL4_X86_EPTPT](./10seL4APIReference/10.4.7.1-x86EPTPTMap.md)
			* [10.4.7.1  Map](./10seL4APIReference/10.4.7.1-x86EPTPTMap.md)
			* [10.4.7.2  Unmap](./10seL4APIReference/10.4.7.2-x86EPTPTUnmap.md)
		* [10.4.8  seL4_X86_IOPageTable](./10seL4APIReference/10.4.8.1-x86IOPageTableMap.md)
			* [10.4.8.1  Map](./10seL4APIReference/10.4.8.1-x86IOPageTableMap.md)
			* [10.4.8.2  Unmap](./10seL4APIReference/10.4.8.2-x86IOPageTableUnmap.md)
		* [10.4.9  seL4_X86_IOPort](./10seL4APIReference/10.4.9.1-x86IOPortIn16.md)
			* [10.4.9.1  In16](./10seL4APIReference/10.4.9.1-x86IOPortIn16.md)
			* [10.4.9.2  In32](./10seL4APIReference/10.4.9.2-x86IOPortIn32.md)
			* [10.4.9.3  In8](./10seL4APIReference/10.4.9.3-x86IOPortIn8.md)
			* [10.4.9.4  Out16](./10seL4APIReference/10.4.9.4-x86IOPortOut16.md)
			* [10.4.9.5  Out32](./10seL4APIReference/10.4.9.5-x86IOPortOut32.md)
			* [10.4.9.6  Out8](./10seL4APIReference/10.4.9.6-x86IOPortOut8.md)
		* [10.4.10  seL4_X86_IOPortControl](./10seL4APIReference/10.4.a.1-x86IOPortControlIssue.md)
			* [10.4.10.1  Issue](./10seL4APIReference/10.4.a.1-x86IOPortControlIssue.md)
		* [10.4.11  seL4_X86_Page](./10seL4APIReference/10.4.b.1-x86PageGetAddress.md)
			* [10.4.11.1  GetAddress](./10seL4APIReference/10.4.b.1-x86PageGetAddress.md)
			* [10.4.11.2  MapEPT](./10seL4APIReference/10.4.b.2-x86PageMapEPT.md)
			* [10.4.11.3  Map I/O](./10seL4APIReference/10.4.b.3-x86PageMapIO.md)
			* [10.4.11.4  Map](./10seL4APIReference/10.4.b.4-x86PageMap.md)
			* [10.4.11.5  Unmap](./10seL4APIReference/10.4.b.5-x86PageUnmap.md)
		* [10.4.12  seL4_X86_PageDirectory](./10seL4APIReference/10.4.c.1-x86PageDirectoryGetStatusBits.md)
			* [10.4.12.1  GetStatusBits[^1]](./10seL4APIReference/10.4.c.1-x86PageDirectoryGetStatusBits.md)
			* [10.4.12.2  Map[^1]](./10seL4APIReference/10.4.c.2-x86PageDirectoryMap.md)
			* [10.4.12.3  Unmap[^1]](./10seL4APIReference/10.4.c.3-x86PageDirectoryUnmap.md)
		* [10.4.13  seL4_X86_PageTable](./10seL4APIReference/10.4.d.1-x86PageTableMap.md)
			* [10.4.13.1  Map](./10seL4APIReference/10.4.d.1-x86PageTableMap.md)
			* [10.4.13.2  Unmap](./10seL4APIReference/10.4.d.2-x86PageTableUnmap.md)
		* [10.4.14  seL4_X86_VCPU](./10seL4APIReference/10.4.e.1-x86VCPUDisableIOPort.md)
			* [10.4.14.1  DisableIOPort](./10seL4APIReference/10.4.e.1-x86VCPUDisableIOPort.md)
			* [10.4.14.2  EnableIOPort](./10seL4APIReference/10.4.e.2-x86VCPUEnableIOPort.md)
			* [10.4.14.3  ReadVMCS](./10seL4APIReference/10.4.e.3-x86VCPUReadVMCS.md)
			* [10.4.14.4  SetTCB](./10seL4APIReference/10.4.e.4-x86VCPUSetTCB.md)
			* [10.4.14.5  WriteRegisters](./10seL4APIReference/10.4.e.5-x86VCPUWriteRegisters.md)
			* [10.4.14.6  WriteVMCS](./10seL4APIReference/10.4.e.6-x86VCPUWriteVMCS.md)
	* [第10.5节  IA32特定的对象方法](./10seL4APIReference/10.5-IA32.md)
	* [第10.6节  x86_64特定的对象方法](./10seL4APIReference/10.6.1.1-x86PDPTMap.md)
		* [10.6.1 seL4_X86_PDPT](./10seL4APIReference/10.6.1.1-x86PDPTMap.md)
			* [10.6.1.1  Map](./10seL4APIReference/10.6.1.1-x86PDPTMap.md)
			* [10.6.1.2  Unmap](./10seL4APIReference/10.6.1.2-x86PDPTUnmap.md)
	* [第10.7节  ARM特定的对象方法](./10seL4APIReference/10.7.1.1-ARMASIDControlMakePool.md)
		* [10.7.1  seL4_ARM_ASIDControl](./10seL4APIReference/10.7.1.1-ARMASIDControlMakePool.md)
			* [10.7.1.1  MakePool](./10seL4APIReference/10.7.1.1-ARMASIDControlMakePool.md)
		* [10.7.2  seL4_ARM_ASIDPool](./10seL4APIReference/10.7.2.1-ARMASIDPoolAssign.md)
			* [10.7.2.1  Assign](./10seL4APIReference/10.7.2.1-ARMASIDPoolAssign.md)
		* [10.7.3  seL4_ARM_IOPageTable[^1]](./10seL4APIReference/10.7.3.1-ARMIOPageTableMap.md)
			* [10.7.3.1  Map](./10seL4APIReference/10.7.3.1-ARMIOPageTableMap.md)
		* [10.7.3  seL4_ARM_IOPageTable](./10seL4APIReference/10.7.3.2-ARMIOPageTableUnmap.md)
			* [10.7.3.2  Unmap](./10seL4APIReference/10.7.3.2-ARMIOPageTableUnmap.md)
		* [10.7.4  seL4_ARM_Page](./10seL4APIReference/10.7.4.1-ARMPageCleanData.md)
			* [10.7.4.1  Clean Data](./10seL4APIReference/10.7.4.1-ARMPageCleanData.md)
			* [10.7.4.2  CleanInvalidate Data](./10seL4APIReference/10.7.4.2-ARMPageCleanInvalidateData.md)
			* [10.7.4.3  GetAddress](./10seL4APIReference/10.7.4.3-ARMPageGetAddress.md)
			* [10.7.4.4  Invalidate Data](./10seL4APIReference/10.7.4.4-ARMPageInvalidateData.md)
			* [10.7.4.5  MapIO](./10seL4APIReference/10.7.4.5-ARMPageMapIO.md)
			* [10.7.4.6  Map](./10seL4APIReference/10.7.4.6-ARMPageMap.md)
			* [10.7.4.7  Unify Instruction](./10seL4APIReference/10.7.4.7-ARMPageUnifyInstruction.md)
			* [10.7.4.8  Unmap](./10seL4APIReference/10.7.4.8-ARMPageUnmap.md)
		* [10.7.5  seL4_ARM_PageTable](./10seL4APIReference/10.7.5.1-ARMPageTableMap.md)
			* [10.7.5.1  Map](./10seL4APIReference/10.7.5.1-ARMPageTableMap.md)
			* [10.7.5.2  Unmap](./10seL4APIReference/10.7.5.2-ARMPageTableUnmap.md)
		* [10.7.6  seL4_ARM_VCPU](./10seL4APIReference/10.7.6.1-ARMVCPUInjectIRQ.md)
			* [10.7.6.1  InjectIRQ](./10seL4APIReference/10.7.6.1-ARMVCPUInjectIRQ.md)
			* [10.7.6.2  Read Registers](./10seL4APIReference/10.7.6.2-ARMVCPUReadRegs.md)
			* [10.7.6.3  SetTCB](./10seL4APIReference/10.7.6.3-ARMVCPUSetTCB.md)
			* [10.7.6.4  WriteRegisters](./10seL4APIReference/10.7.6.4-ARMVCPUWriteRegisters.md)
		* [10.7.7  seL4_IRQControl](./10seL4APIReference/10.7.7.1-ARMIRQControlGetTrigger.md)
			* [10.7.7.1  GetTrigger](./10seL4APIReference/10.7.7.1-ARMIRQControlGetTrigger.md)
			* [10.7.7.2  GetTriggerCore](./10seL4APIReference/10.7.7.2-ARMIRQControlGetTriggerCore.md)
	* [第10.8节 Aarch32特定的对象方法](./10seL4APIReference/10.8.1.1-ARMPageDirectoryCleanData.md)
		* [10.8.1  seL4_ARM_PageDirectory](./10seL4APIReference/10.8.1.1-ARMPageDirectoryCleanData.md)
			* [10.8.1.1  Clean Data](./10seL4APIReference/10.8.1.1-ARMPageDirectoryCleanData.md)
			* [10.8.1.2  CleanInvalidate Data](./10seL4APIReference/10.8.1.2-ARMPageDirectoryCleanInvalidateData.md)
			* [10.8.1.3  Invalidate Data](./10seL4APIReference/10.8.1.3-ARMPageDirectoryInvalidateData.md)
			* [10.8.1.4  Unify Instruction](./10seL4APIReference/10.8.1.4-ARMPageDirectoryUnifyInstruction.md)
	* [第10.9节  Aarch64特定的对象方法](./10seL4APIReference/10.9.1.1-ARMPageDirectoryMap.md)
		* [10.9.1  seL4_ARM_PageDirectory](./10seL4APIReference/10.9.1.1-ARMPageDirectoryMap.md)
			* [10.9.1.1  Map](./10seL4APIReference/10.9.1.1-ARMPageDirectoryMap.md)
			* [10.9.1.2  Unmap](./10seL4APIReference/10.9.1.2-ARMPageDirectoryUnmap.md)
		* [10.9.2  seL4_ARM_PageUpperDirectory](./10seL4APIReference/10.9.2.1-ARMPageUpperDirectoryMap.md)
			* [10.9.2.1  Map](./10seL4APIReference/10.9.2.1-ARMPageUpperDirectoryMap.md)
			* [10.9.2.2  Unmap](./10seL4APIReference/10.9.2.2-ARMPageUpperDirectoryUnmap.md)
		* [10.9.3  seL4_ARM_VSpace](./10seL4APIReference/10.9.3.1-ARMVSpaceCleanData.md)
			* [10.9.3.1  Clean Data](./10seL4APIReference/10.9.3.1-ARMVSpaceCleanData.md)
			* [10.9.3.2  CleanInvalidate Data](./10seL4APIReference/10.9.3.2-ARMVSpaceCleanInvalidateData.md)
			* [10.9.3.3  Invalidate Data](./10seL4APIReference/10.9.3.3-ARMVSpaceInvalidateData.md)
			* [10.9.3.4  Unify Instruction](./10seL4APIReference/10.9.3.4-ARMVSpaceUnifyInstruction.md)
	* [第10.10节  RISCV特定的对象方法](./10seL4APIReference/10.a.3.1-RISCVASIDControlMakePool.md)
		* [10.10.1  通用的RISCV对象方法](./10seL4APIReference/10.a.3.1-RISCVASIDControlMakePool.md)
		* [10.10.2  seL4_IRQControl](./10seL4APIReference/10.a.3.1-RISCVASIDControlMakePool.md)
		* [10.10.3  seL4_RISCV_ASIDControl](./10seL4APIReference/10.a.3.1-RISCVASIDControlMakePool.md)
			* [10.10.3.1  MakePool](./10seL4APIReference/10.a.3.1-RISCVASIDControlMakePool.md)
		* [10.10.4  seL4_RISCV_ASIDPool](./10seL4APIReference/10.a.4.1-RISCVASIDPoolAssign.md)
			* [10.10.4.1  Assign](./10seL4APIReference/10.a.4.1-RISCVASIDPoolAssign.md)
		* [10.10.5  seL4_RISCV_Page](./10seL4APIReference/10.a.5.1-RISCVPageGetAddress.md)
			* [10.10.5.1  GetAddress](./10seL4APIReference/10.a.5.1-RISCVPageGetAddress.md)
			* [10.10.5.2  Map](./10seL4APIReference/10.a.5.2-RISCVPageMap.md)
			* [10.10.5.3  Unmap](./10seL4APIReference/10.a.5.3-RISCVPageUnmap.md)
		* [10.10.6  seL4_RISCV_PageTable](./10seL4APIReference/10.a.6.1-RISCVPageTableMap.md)
			* [10.10.6.1  Map](./10seL4APIReference/10.a.6.1-RISCVPageTableMap.md)
			* [10.10.6.2  Unmap](./10seL4APIReference/10.a.6.2-RISCVPageTableUnmap.md)

newbee/seL4内核参考手册

简介

发行版

贡献者

近期动态

newbee/seL4内核参考手册 .gitee-modal { width: 500px !important; }

简介

发行版

贡献者

近期动态

搜索帮助

newbee/seL4内核参考手册