removed Ps filename prefix

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8609 8c9fc860-2736-0410-a75d-ab315db34111

ARM/zbl/BootloaderRelease.Tool

@@ -90,7 +90,7 @@ PACKAGE Bootstrap ARCHIVE "Bootstrap.zip" SOURCE "BootstrapSrc.zip" DESCRIPTION
 	ARM.Builtins.Mod
 	MINOS:/Trace.Mos
 	Zynq.PsUartMin.Mod
-	ZBL:Zynq.PsTraceDevice.Mos
+	ZBL:Zynq.TraceDevice.Mos
 	MINOS:/HAL/zynq/Zynq.Caches.Mos
 	MINOS:/HAL/zynq/Zynq.Memory.Mos
 	ZBL:/MemoryMapping.Mos

source/Release.Tool

@@ -325,7 +325,7 @@ PACKAGE Kernel ARCHIVE "Kernel.zip" SOURCE "KernelSrc.zip" DESCRIPTION "A2 Kerne
 	COOP & ~ARM { Mutexes.Mod Coop.Machine.Mod }
 	COOP & ARM { Mutexes.Mod Coop.ARM.Machine.Mod }
 	UNIX & ~COOP { Unix.Machine.Mod }
-	ZYNQ & ~COOP { Zynq.PsUartMin.Mod Zynq.PsTraceDevice.Mod Zynq.PrivateWatchdog.Mod ARM.Machine.Mod }
+	ZYNQ & ~COOP { Zynq.PsUartMin.Mod Zynq.TraceDevice.Mod Zynq.PrivateWatchdog.Mod ARM.Machine.Mod }
 
 	~COOP { Heaps.Mod }
 	COOP { Coop.Heaps.Mod GarbageCollector.Mod }