1 files changed, 2 insertions, 17 deletions
diff --git a/tests/long/fs/10.linux-boot/ref/x86/linux/pc-o3-timing/config.ini b/tests/long/fs/10.linux-boot/ref/x86/linux/pc-o3-timing/config.ini
index 9b8aaf5dd..ea30d17bb 100644
--- a/tests/long/fs/10.linux-boot/ref/x86/linux/pc-o3-timing/config.ini
+++ b/tests/long/fs/10.linux-boot/ref/x86/linux/pc-o3-timing/config.ini
@@ -1,6 +1,7 @@
 [root]
 type=Root
 children=system
+full_system=true
 time_sync_enable=false
 time_sync_period=100000000000
 time_sync_spin_threshold=100000000
@@ -9,7 +10,6 @@ time_sync_spin_threshold=100000000
 type=LinuxX86System
 children=acpi_description_table_pointer bridge cpu e820_table intel_mp_pointer intel_mp_table intrctrl iobridge iobus iocache l2c membus pc physmem smbios_table toL2Bus
 acpi_description_table_pointer=system.acpi_description_table_pointer
-boot_cpu_frequency=500
 boot_osflags=earlyprintk=ttyS0 console=ttyS0 lpj=7999923 root=/dev/hda1
 e820_table=system.e820_table
 init_param=0
@@ -154,6 +154,7 @@ tracer=system.cpu.tracer
 trapLatency=13
 wbDepth=1
 wbWidth=8
+workload=
 dcache_port=system.cpu.dcache.cpu_side
 icache_port=system.cpu.icache.cpu_side
 
@@ -532,7 +533,6 @@ type=X86LocalApic
 int_latency=1000
 pio_addr=2305843009213693952
 pio_latency=1000
-platform=system.pc
 system=system
 int_port=system.membus.port[7]
 pio=system.membus.port[6]
@@ -1050,7 +1050,6 @@ fake_mem=false
 pio_addr=0
 pio_latency=1000
 pio_size=8
-platform=system.pc
 ret_bad_addr=true
 ret_data16=65535
 ret_data32=4294967295
@@ -1073,7 +1072,6 @@ fake_mem=false
 pio_addr=9223372036854779128
 pio_latency=1000
 pio_size=8
-platform=system.pc
 ret_bad_addr=false
 ret_data16=65535
 ret_data32=4294967295
@@ -1114,7 +1112,6 @@ fake_mem=false
 pio_addr=9223372036854776568
 pio_latency=1000
 pio_size=8
-platform=system.pc
 ret_bad_addr=false
 ret_data16=65535
 ret_data32=4294967295
@@ -1131,7 +1128,6 @@ fake_mem=false
 pio_addr=9223372036854776808
 pio_latency=1000
 pio_size=8
-platform=system.pc
 ret_bad_addr=false
 ret_data16=65535
 ret_data32=4294967295
@@ -1148,7 +1144,6 @@ fake_mem=false
 pio_addr=9223372036854776552
 pio_latency=1000
 pio_size=8
-platform=system.pc
 ret_bad_addr=false
 ret_data16=65535
 ret_data32=4294967295
@@ -1165,7 +1160,6 @@ fake_mem=false
 pio_addr=9223372036854776818
 pio_latency=1000
 pio_size=2
-platform=system.pc
 ret_bad_addr=false
 ret_data16=65535
 ret_data32=4294967295
@@ -1182,7 +1176,6 @@ fake_mem=false
 pio_addr=9223372036854775936
 pio_latency=1000
 pio_size=1
-platform=system.pc
 ret_bad_addr=false
 ret_data16=65535
 ret_data32=4294967295
@@ -1222,7 +1215,6 @@ children=int_pin
 int_pin=system.pc.south_bridge.cmos.int_pin
 pio_addr=9223372036854775920
 pio_latency=1000
-platform=system.pc
 system=system
 time=Sun Jan  1 00:00:00 2012
 pio=system.iobus.port[2]
@@ -1234,7 +1226,6 @@ type=X86IntSourcePin
 type=I8237
 pio_addr=9223372036854775808
 pio_latency=1000
-platform=system.pc
 system=system
 pio=system.iobus.port[3]
 
@@ -1419,7 +1410,6 @@ external_int_pic=system.pc.south_bridge.pic1
 int_latency=1000
 pio_addr=4273995776
 pio_latency=1000
-platform=system.pc
 system=system
 int_port=system.iobus.port[13]
 pio=system.iobus.port[12]
@@ -1433,7 +1423,6 @@ keyboard_int_pin=system.pc.south_bridge.keyboard.keyboard_int_pin
 mouse_int_pin=system.pc.south_bridge.keyboard.mouse_int_pin
 pio_addr=0
 pio_latency=1000
-platform=system.pc
 system=system
 pio=system.iobus.port[7]
 
@@ -1450,7 +1439,6 @@ mode=I8259Master
 output=system.pc.south_bridge.pic1.output
 pio_addr=9223372036854775840
 pio_latency=1000
-platform=system.pc
 slave=system.pc.south_bridge.pic2
 system=system
 pio=system.iobus.port[8]
@@ -1465,7 +1453,6 @@ mode=I8259Slave
 output=system.pc.south_bridge.pic2.output
 pio_addr=9223372036854775968
 pio_latency=1000
-platform=system.pc
 slave=Null
 system=system
 pio=system.iobus.port[9]
@@ -1479,7 +1466,6 @@ children=int_pin
 int_pin=system.pc.south_bridge.pit.int_pin
 pio_addr=9223372036854775872
 pio_latency=1000
-platform=system.pc
 system=system
 pio=system.iobus.port[10]
 
@@ -1491,7 +1477,6 @@ type=PcSpeaker
 i8254=system.pc.south_bridge.pit
 pio_addr=9223372036854775905
 pio_latency=1000
-platform=system.pc
 system=system
 pio=system.iobus.port[11]