summaryrefslogtreecommitdiff
path: root/kernel/memlayout.h
AgeCommit message (Collapse)Author
2019-07-30cut ramdiskRobert Morris
2019-07-25comments for timer setupRobert Morris
2019-07-23simplify kernel mapping callsRobert Morris
2019-07-22-MD and TRAPFRAMERobert Morris
2019-07-22Allocate 2 pages per proc, with the top one unmapped.Frans Kaashoek
The page below the last proc is unmapped by default (because the kernel doesn't map anything right below the kernel stacks).
2019-07-19One way of supporting a guard page below kstack: allocate kstacks inFrans Kaashoek
procinit() and map them high up (below TRAMPOLNE) with an empty mapping below each stack. Never free a kernel stack. Another way would be to allocate and map them dynamically, but then we need to reload page table when switching processes in scheduler() and/or have a kernel pagetable per proc (if we want k->stack to be the same virtual address in each process). One gotcha: kernel addresses are not equal to physical addresses for stack addresses. A stack address must be translated if we need its physical address (e.g., virtio passes a stack address to the disk).
2019-06-13clean up virtio codeRobert Morris
2019-06-13eliminate ramdiskRobert Morris
2019-06-13virtio disk driverRobert Morris
2019-06-11separate source into kernel/ user/ mkfs/Robert Morris