Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [Mini-OS] Make sure schedule() is called safely | Keir Fraser | 2007-11-24 | 1 | -0/+5 |
* | minios: Various small fixes. | kaf24@firebug.cl.cam.ac.uk | 2007-03-19 | 1 | -2/+2 |
* | Fix x86/64 version of Mini-OS. It encompasses the following: | kaf24@firebug.cl.cam.ac.uk | 2006-05-02 | 1 | -1/+1 |
* | The Mini-OS build once again broke, this time since vcpu_data became vcpu_info | kaf24@firebug.cl.cam.ac.uk | 2005-12-06 | 1 | -2/+2 |
* | Mini-os updates from Grzegorz Milos. | kaf24@firebug.cl.cam.ac.uk | 2005-07-06 | 1 | -45/+50 |
* | bitkeeper revision 1.520 (3f8d13d8qVVqxcYD--4cXYs5egqNyg) | kaf24@scramble.cl.cam.ac.uk | 2003-10-15 | 1 | -23/+16 |
* | bitkeeper revision 1.490 (3f831e5fpXnszWjg8lV_9law4lUnbg) | kaf24@scramble.cl.cam.ac.uk | 2003-10-07 | 1 | -0/+14 |
* | bitkeeper revision 1.483 (3f81a3e2iM-0WXaGxUS3ywM3_KZqLw) | iap10@labyrinth.cl.cam.ac.uk | 2003-10-06 | 1 | -0/+83 |