X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FTODO;fp=src%2FTODO;h=70e206de2733ef46fded7306efc6e1be6be56b53;hb=76d7f305a649ad998194b7b5184a07fa7544c360;hp=0000000000000000000000000000000000000000;hpb=dcfc312e3cc930d418f86948ef062eb7e8fd283a;p=pintos-anon

diff --git a/src/TODO b/src/TODO
new file mode 100644
index 0000000..70e206d
--- /dev/null
+++ b/src/TODO
@@ -0,0 +1,3 @@
+* Stats should be per-file system, not per-disk.
+
+* Use xmalloc(), xcalloc() everywhere appropriate.