Rev 1 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1 | Rev 51 | ||
|---|---|---|---|
| Line 7... | Line 7... | ||
| 7 | + kernel provides unified four-level page table interface for all architectures |
7 | + kernel provides unified four-level page table interface for all architectures |
| 8 | + track usage of frames containing middle-level page tables (frame leak) |
8 | + track usage of frames containing middle-level page tables (frame leak) |
| 9 | 9 | ||
| 10 | + get user mode support for all architectures |
10 | + get user mode support for all architectures |
| 11 | 11 | ||
| 12 | + when a new thread enters scheduler, at least one CPU in |
- | |
| 13 | cpu_sleep() should be woken up by an IPI |
- | |
| 14 | + save/restore floating point context on context switch |
12 | + save/restore floating point context on context switch |
| 15 | + [ia32] lazy context switch using TS flag |
13 | + [ia32] lazy context switch using TS flag |
| 16 | + [ia32] review privilege separation |
14 | + [ia32] review privilege separation |
| 17 | + zero IOPL in EFLAGS |
15 | + zero IOPL in EFLAGS |
| 18 | + before IRET (from SYSCALL), zero NT in EFLAGS |
16 | + before IRET (from SYSCALL), zero NT in EFLAGS |