Tags (WIP) cache-coherence1 consensus1 cpu1 devices1 distributed-systems1 dma1 fundamentals1 hypervisors1 iommu1 kernel1 linux2 mathematics1 memory2 mmu1 notation1 paxos1 proofs1 protocols1 raft1 virtual-memory1 virtualization1