Source('kernel_stats.cc')
Source('linux/events.cc')
Source('linux/linux.cc')
+Source('linux/linux_syscalls.cc')
Source('linux/printk.cc')
Source('operatingsystem.cc')
Source('system_events.cc')
+DebugFlag('DebugPrintf')
+DebugFlag('Printf')
+
if env['TARGET_ISA'] == 'alpha':
Source('tru64/dump_mbuf.cc')
Source('tru64/printf.cc')
Source('tru64/tru64_events.cc')
+ Source('tru64/tru64_syscalls.cc')
DebugFlag('BADADDR')
-
-DebugFlag('DebugPrintf')
-DebugFlag('Printf')
-
-if env['FULL_SYSTEM']:
- Source('linux/linux_syscalls.cc')
-
- if env['TARGET_ISA'] == 'alpha':
- Source('tru64/tru64_syscalls.cc')