From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 10 May 2005 23:09:34 +0000 (+0000)
Subject: Standard disk assignments.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dbbabf1d84fcc6153963431a8977132c48a71cd9;p=pintos-anon

Standard disk assignments.
---

diff --git a/src/devices/disk.c b/src/devices/disk.c
index 971f3af..1810fc4 100644
--- a/src/devices/disk.c
+++ b/src/devices/disk.c
@@ -179,7 +179,14 @@ disk_print_stats (void)
 }
 
 /* Returns the disk numbered DEV_NO--either 0 or 1 for master or
-   slave, respectively--within the channel numbered CHAN_NO. */
+   slave, respectively--within the channel numbered CHAN_NO.
+
+   Pintos uses disks this way:
+        0:0 - operating system kernel
+        0:1 - file system
+        1:0 - scratch
+        1:1 - swap
+*/
 struct disk *
 disk_get (int chan_no, int dev_no) 
 {