#   Platform.unix.linux, Copyright 1999 (c) by C. Jeker,
#   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/Platform.unix.linux,v $
# 	Author(s):             
# 	Affiliation:           ETH Zuerich, TIK
# 	Version:               $Revision: 1.9 $
# 	Creation Date:         
# 	Last Date of Change:   $Date: 2000/03/31 17:50:32 $      by: $Author: gfa $
#	
#	
#


# compiler stuff
CC=gcc
LD=ld
KERNLD=$(CC)
OBJCOPY=objcopy
SIZE=size
NM=nm
LIBS=-L/lib -L/usr/lib -lc -ldl

MACHINE_CFLAGS=