Compiles with GCC
authorBarret Rhoden <brho@cs.berkeley.edu>
Sat, 5 Sep 2009 04:49:24 +0000 (21:49 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sat, 5 Sep 2009 04:49:24 +0000 (21:49 -0700)
commit88b8671ba3a11748b50b03007ef263be90e0b490
tree99689d725c3599395f500193f97c327675d5ed32
parent29a6f11960a0270a912071cd0b9b9ec524fe16af
Compiles with GCC

Set COMPILER in your Makelocal to GCC if you want to not compile with
Ivy.  It will compile and run with Ivy or gcc, though there were a few
places where they are mutually unhappy, or we couldn't figure out nice
ways to do the annotations.  For instance, the struct work isn't
supposed to be TP(env_t*) all the time.  Also, cil destroys our attempts
at unbounded arrays.  Look for pragma nodeputy in a few places.

Also changed types so we can eventually have our own, um, i guess we
still need to have our own types.h for the kernel, but we cleaned it up a
bit is the point, right? (Kevin, verbatim)

Some work in progress for mmap and other stuff, but I never did any of
that.  Just ignore it for now.
106 files changed:
GNUmakefile
kern/Makefrag
kern/arch/i386/apic.h
kern/arch/i386/arch.h
kern/arch/i386/atomic.h
kern/arch/i386/console.c
kern/arch/i386/console.h
kern/arch/i386/cpuinfo.c
kern/arch/i386/mmu.h
kern/arch/i386/pmap.c
kern/arch/i386/smp_boot.c
kern/arch/i386/trap.c
kern/arch/i386/trap.h
kern/arch/i386/types.h
kern/arch/i386/x86.h
kern/arch/sparc/boot.c
kern/arch/sparc/console.h
kern/arch/sparc/frontend.h
kern/arch/sparc/smp.h
kern/arch/sparc/sparc.h
kern/arch/sparc/timer.c
kern/arch/sparc/timer.h
kern/arch/sparc/trap.h
kern/include/atomic.h
kern/include/colored_caches.h
kern/include/elf.h
kern/include/env.h
kern/include/kdebug.h
kern/include/kfs.h
kern/include/kmalloc.h
kern/include/listable.h
kern/include/multiboot.h
kern/include/pmap.h
kern/include/process.h
kern/include/ros/common.h
kern/include/ros/error.h
kern/include/ros/memlayout.h
kern/include/ros/mman.h [new file with mode: 0644]
kern/include/ros/noivy.h [new file with mode: 0644]
kern/include/ros/procdata.h
kern/include/ros/ring_buffer.h
kern/include/ros/syscall.h
kern/include/smp.h
kern/include/stab.h
kern/include/stdint.h [new file with mode: 0644]
kern/include/string.h
kern/include/sys/queue.h
kern/include/sys/types.h [new file with mode: 0644]
kern/include/syscall.h
kern/include/testing.h
kern/include/timing.h
kern/include/types.h [new file with mode: 0644]
kern/include/workqueue.h
kern/ivy/Makefrag
kern/ivy/deputy.c
kern/ivy/sharc.c
kern/src/atomic.c
kern/src/colored_caches.c
kern/src/env.c
kern/src/kfs.c
kern/src/kmalloc.c
kern/src/manager.c
kern/src/monitor.c
kern/src/multiboot.c
kern/src/pmap.c
kern/src/printf.c
kern/src/printfmt.c
kern/src/process.c
kern/src/syscall.c
kern/src/testing.c
kern/src/timer.c
kern/src/workqueue.c
user/Makefrag
user/apps/parlib/Makefrag
user/apps/parlib/file_error.c
user/apps/parlib/file_io.c
user/apps/parlib/matrix.c
user/apps/roslib/measurements.c
user/apps/roslib/mhello.c
user/parlib/inc/channel.h
user/parlib/inc/newlib_backend.h
user/parlib/inc/parlib.h
user/parlib/ivy/Makefrag
user/parlib/ivy/deputy.c
user/parlib/src/Makefrag
user/parlib/src/debug.c
user/parlib/src/debugfmt.c
user/parlib/src/i386/newlib_backend.c
user/parlib/src/i386/syscall.c
user/roslib/inc/lib.h
user/roslib/inc/measure.h
user/roslib/inc/stdint.h [new file with mode: 0644]
user/roslib/inc/string.h
user/roslib/inc/sys [new symlink]
user/roslib/inc/sys/queue.h [deleted symlink]
user/roslib/inc/types.h [deleted file]
user/roslib/ivy/Makefrag
user/roslib/ivy/deputy.c
user/roslib/src/asynccall.c
user/roslib/src/exit.c
user/roslib/src/i386/syscall.c
user/roslib/src/printf.c
user/roslib/src/printfmt.c
user/roslib/src/syscall.c
user/roslib/src/syswrapper.c
user/roslib/src/timer.c