- remove last vestiges of CKRM
authorMark Huang <mlhuang@cs.princeton.edu>
Sun, 21 Aug 2005 00:09:34 +0000 (00:09 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Sun, 21 Aug 2005 00:09:34 +0000 (00:09 +0000)
commit4952570bd4ba2f8a5f746429e68108de377cd4b7
tree1fa0dd277b4a8f940c21f194f03c66b0e7e2688c
parent473744b6dd13c2374d5a15cd994398d54742f717
- remove last vestiges of CKRM
- sync fedora branch
kernel/sys.c