#   Makefile.user, Copyright 1998 (c) by G. Fankhauser,
#   Swiss Federal Institute of Technology,
#   Computer Engineering and Networks Laboratory.
#
#   TOPSY -- A Teachable Operating System.
#            Implementation of a tiny and simple
#            micro kernel for teaching purposes.
#
#   For further information, please visit http://www.tik.ee.ethz.ch/~topsy
#
#   This software is provided under the terms of the GNU General Public Licence.
#   A full copy of the GNU GPL is provided in the file COPYING found in the 
#   development root of Topsy.
#
#
#       File:                  $Source: /usr/drwho/vault/cvs/topsy/Topsy/Makefiles/Makefile.user,v $
#       Author(s):
#       Affiliation:           ETH Zuerich, TIK
#       Version:               $Revision: 1.2 $
#       Creation Date:
#       Last Date of Change:   $Date: 1999/12/13 21:48:29 $      by: $Author: ruf $
#
#
#       $Log: Makefile.user,v $
#       Revision 1.2  1999/12/13 21:48:29  ruf
#       GNU General Public Licence Update
#
#       Revision 1.1  1999/06/06 20:54:54  jeker
#       putting everything together for Topsy 2.0
#
#
#

###############################################################################
# Platform independent stuff
#

# syscall library objects; the same code as produced for the kernel is reused here
SYSCALL=$(OBJ)/Topsy/Syscall.o $(OBJ)/Topsy/$(ARCH)/SyscallMsg.o

# all the user files (shell plus your stuff)
SHELLFILES= Shell.c 
USERFILES= UserSupport.c \
           SeatReservation.c \
           PacketDriverTest.c datafile.c IRQControl.c \
           PacketStackControl.c Packetizer.c PacketFraming.c \
           testtimer.c Demo.c HelloWorld.c ThreadsDemo.c CrashMe.c

# list of all object files
SHELLOBJS=$(SHELLFILES:.c=.o) 
USEROBJS=$(USERFILES:.c=.o)
ALLOBJS=$(SHELLOBJS) $(USEROBJS)
REALOBJS=$(addprefix $(OBJ)/User/, $(notdir $(ALLOBJS)))