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 +  | 
