Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Build palcode-sx164 instead of palcode. | Richard Henderson | 2011-04-18 | 1 | -2/+1 |
* | Add uart printing support. | Richard Henderson | 2011-04-10 | 1 | -0/+2 |
* | TEMP: finished through init_page_tables | Richard Henderson | 2011-04-10 | 1 | -0/+1 |