chiark / gitweb /
new NOPOINT command to get rid of FAULT/POINT race
authorian <ian>
Sat, 12 Jan 2008 03:32:25 +0000 (03:32 +0000)
committerian <ian>
Sat, 12 Jan 2008 03:32:25 +0000 (03:32 +0000)
commit8cd1bd7eb4ab5fb5ffb77b5a648c92be7d62aaff
tree33caae4afdc770ae88971dbf00ed7cd4c40c37ca
parentef0f1b361ca78c72f2b5f189b3932625e6b0e842
new NOPOINT command to get rid of FAULT/POINT race
TODO
cebpic/README.protocol
detpic/points.asm
hostside/cdumgr.c