Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-05-01 | Add copyright information. | Richard Henderson | 1 | -0/+20 |
2011-04-27 | Set max_asn properly for the cpu. | Richard Henderson | 1 | -34/+24 |
2011-04-27 | Re-org for Clipper system. | Richard Henderson | 1 | -6/+22 |
2011-04-24 | Use fixed frequency for rpcc. | Richard Henderson | 1 | -3/+1 |
2011-04-13 | PCBB.PTBR contains a page frame number, not a physical address. | Richard Henderson | 1 | -1/+1 |
2011-04-13 | Rely less on initialized data. | Richard Henderson | 1 | -124/+154 |
2011-04-11 | Misc enhancements | Richard Henderson | 1 | -2/+1 |
2011-04-11 | Signal halt properly. | Richard Henderson | 1 | -1/+3 |
2011-04-11 | Dynamically allocate page tables; setup as per MILO. | Richard Henderson | 1 | -40/+45 |
2011-04-10 | Add uart printing support. | Richard Henderson | 1 | -0/+4 |
2011-04-10 | TEMP: finished through init_page_tables | Richard Henderson | 1 | -0/+206 |