diff options
Diffstat (limited to 'BUGS')
-rw-r--r-- | BUGS | 11 |
1 files changed, 8 insertions, 3 deletions
@@ -11,9 +11,8 @@ proc.c: factor out switching and scheduling code from process code -trap.c - if spin locks are ever held without cli, - trap should call yield() only if nlock == 0 +kalloc.c + more cleanups ide.c: synchronous disk write -> polling disk write. search for (a)synchronous; xv6 doesn't have asynchronous writes. @@ -32,3 +31,9 @@ sysfile.c: general: sizeof parens? +usertests.c: + check for rm of . or .. + +L=$HOME/mit/l +(for i in *.c; do xoc -x xgnu -x ./nodecleq.zeta --typesonly $i; done) 2>&1 | grep warning + |