From 90a1c1b159a9d6fcb6cd22239da4864af8d5b85e Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 10 May 2005 23:09:34 +0000 Subject: [PATCH] Standard disk assignments. --- src/devices/disk.c | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) 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) { -- 2.30.2