SSE3044F12.Resources History

Hide minor edits - Show changes to output

September 11, 2012, at 09:37 AM by 115.145.179.107 -
September 03, 2012, at 08:20 AM by 115.145.179.107 -
September 03, 2012, at 01:23 AM by 115.145.179.182 -
Added line 18:
** [[SSE3044F12.SSEGCC|Installing pre-built GCC 4.1.2 binaries]]
September 01, 2012, at 01:53 PM by 115.145.179.182 -
Deleted line 19:
** [[Attach:Installing Prebuilt GCC-4.1.2.pdf|Using Prebuilt GCC 4.1.2 for Pintos]]
September 01, 2012, at 07:00 AM by 115.145.179.147 -
Changed line 20 from:
** [[Attach:Installing Prebuilt GCC-4.1.2.pptx|Using Prebuilt GCC 4.1.2 for Pintos]]
to:
** [[Attach:Installing Prebuilt GCC-4.1.2.pdf|Using Prebuilt GCC 4.1.2 for Pintos]]
September 01, 2012, at 06:57 AM by 115.145.179.147 -
Changed line 20 from:
** [[SSE3044F12.PrebuiltGCC|Using Prebuilt GCC 4.1.2 for Pintos]]
to:
** [[Attach:Installing Prebuilt GCC-4.1.2.pptx|Using Prebuilt GCC 4.1.2 for Pintos]]
September 01, 2012, at 06:55 AM by 115.145.179.147 -
Added line 20:
** [[SSE3044F12.PrebuiltGCC|Using Prebuilt GCC 4.1.2 for Pintos]]
September 01, 2012, at 04:54 AM by 115.145.179.182 -
Added line 20:
** [[SSE3044F12.QEMU|Using QEMU for Pintos]]
September 01, 2012, at 03:50 AM by 115.145.179.182 -
Changed line 17 from:
* Using gcc version 4.1.2 on Ubuntu
to:
* Using GCC version 4.1.2 on Ubuntu
September 01, 2012, at 03:50 AM by 115.145.179.182 -
Changed line 17 from:
* Using gcc version 4.1.2 on Ubuntu
to:
* Using gcc version 4.1.2 on Ubuntu
September 01, 2012, at 03:29 AM by 115.145.179.182 -
Changed line 17 from:
* Using gcc version 4.1.2 on Ubuntu 12.04.1 LTS
to:
* Using gcc version 4.1.2 on Ubuntu
September 01, 2012, at 03:29 AM by 115.145.179.182 -
Added lines 17-20:
* Using gcc version 4.1.2 on Ubuntu 12.04.1 LTS
** [[SSE3044F12.GCC|Building GCC 4.1.2 on Ubuntu 12.04.1 LTS]]
** [[SSE3044F12.GCCPintos|Using GCC 4.1.2 for Pintos]]
Changed line 38 from:
** [[SSE3044F12.GCC|Building GCC 4.1.2 on Ubuntu 12.04.1 LTS]]
to:
August 31, 2012, at 05:42 PM by 115.145.179.182 -
Changed line 34 from:
** [[SSE3044F12.GCC|Building gcc-4.1.2 on Ubuntu 12.04.1 LTS]]
to:
** [[SSE3044F12.GCC|Building GCC 4.1.2 on Ubuntu 12.04.1 LTS]]
August 31, 2012, at 04:41 PM by 115.145.179.182 -
Changed line 34 from:
** [[Building gcc-4.1.2 on Ubuntu 12.04.1 LTS]]
to:
** [[SSE3044F12.GCC|Building gcc-4.1.2 on Ubuntu 12.04.1 LTS]]
August 31, 2012, at 04:40 PM by 115.145.179.182 -
Added line 34:
** [[Building gcc-4.1.2 on Ubuntu 12.04.1 LTS]]
July 31, 2012, at 06:38 AM by 115.145.212.145 -
Added lines 1-36:
!! SSE3044: Operating Systems (Fall 2012)

!!! [Resources]

* Pintos
** [[Attach:pintos.tar.gz|Pintos Source Codes]] (local copy)
** [[http://www.stanford.edu/class/cs140/projects/pintos/pintos.html|Pintos Documentation]]
** [[Attach:pintos.pdf|Pintos Documentation in PDF]] (local copy)
** [[http://cs140.stanford.edu|Stanford Operating Systems Course Homepage (CS140)]]
** Basic materials you need to study before starting any project:
*** [[http://www.stanford.edu/class/cs140/projects/pintos/pintos_1.html#SEC2|Getting Started]]
*** [[http://www.stanford.edu/class/cs140/projects/pintos/pintos_12.html#SEC164|Installing Pintos]]
*** [[http://www.stanford.edu/class/cs140/projects/pintos/pintos_11.html#SEC156|Development Tools]]
*** [[http://www.stanford.edu/class/cs140/projects/pintos/pintos_10.html#SEC142|Debugging Tools]]
*** [[http://www.stanford.edu/class/cs140/projects/pintos/pintos_9.html#SEC139|Project Documentation]]

* Bochs
** [[http://bochs.sourceforge.net|Bochs IA-32 Emulator]]
** Note: Pintos is designed for use with Bochs 2.2.6

* QEMU
** [[http://www.qemu.org|QEMU: Open source processor emulator]]

* Linux
** Installing and running Linux: [[http://csl.skku.edu/uploads/SSE2030F10/SKKULUG 2010_01 Linux is easy.pdf|Linux is easy.pdf]] (by SKKULUG, Korean, 2010)

* Development Tools
** gdb: [[http://www.gnu.org/software/gdb/documentation|The GNU debugger]]
** make: [[http://www.gnu.org/software/make/manual|The GNU make utility]]
** tar: [[http://www.gnu.org/software/tar/|The tar archiving utility]]
** ctags: [[http://ctags.sourceforge.net/ctags.html|Generate tag files for source code]]
** CVS: [[http://www.nongnu.org/cvs/|Concurrent Versions System]]
** subversion: [[http://subversion.apache.org|Apache Subversion]] ([[http://svnbook.red-bean.com/|online book]])

* Useful Links
** [[http://isis.poly.edu/kulesh/stuff/src/klist|Linux Kernel Linked List Explained]]