pintos-os.org Git - pintos-anon/history

2004-09-20	Ben Pfaff	Revise makefile structure.	blob \| commitdiff \| raw
2004-09-16	Ben Pfaff	Move pagedir stuff into userprog.	blob \| commitdiff \| raw \| diff to current
2004-09-16	Ben Pfaff	Include constants.h into all source files with a -inclu...	blob \| commitdiff \| raw \| diff to current
2004-09-15	Ben Pfaff	Add rule for refreshing from Makefile.build.	blob \| commitdiff \| raw \| diff to current
2004-09-14	Ben Pfaff	Detect x86 systems, use the native tools.	blob \| commitdiff \| raw \| diff to current
2004-09-13	Ben Pfaff	Use i386-elf-* tools by default.	blob \| commitdiff \| raw \| diff to current
2004-09-13	Ben Pfaff	Rewrite filesystem to support Unix "delete" semantics.	blob \| commitdiff \| raw \| diff to current
2004-09-11	Ben Pfaff	Do console locking.	blob \| commitdiff \| raw \| diff to current
2004-09-11	Ben Pfaff	Add a little demo/test code for the `threads' project.	blob \| commitdiff \| raw \| diff to current
2004-09-07	Ben Pfaff	Move serial interrupt queue into new file intq.c.	blob \| commitdiff \| raw \| diff to current
2004-09-06	Ben Pfaff	Don't want -DKERNEL_LOAD_PAGES on every kernel.bin...	blob \| commitdiff \| raw \| diff to current
2004-09-06	Ben Pfaff	Rename printk() to printf().	blob \| commitdiff \| raw \| diff to current
2004-09-05	Ben Pfaff	Redo makefiles.	blob \| commitdiff \| raw \| diff to current

Pintos public repository