Norman Feske 2045fffe2a ports-foc: assert use of 32-bit platforms ... L4Linux does not support x86_64. Detect this case early in the run script.		2013-06-30 13:48:10 +02:00
..
l4android.run	ports-foc: assert use of 32-bit platforms	2013-06-30 13:48:10 +02:00
l4linux_ahci_bench.run	ahci & exynos5: AHCI (+ part_blk) bench in l4linux	2013-06-26 15:05:19 +02:00
l4linux_dynamic.run	Extend l4linux_dynamic run-script with SATA driver	2013-06-28 16:18:15 +02:00
l4linux_netperf.run	Add platform_drv to relevant run-scripts (fix #778)	2013-06-25 14:37:03 +02:00
l4linux.run	ports-foc: assert use of 32-bit platforms	2013-06-30 13:48:10 +02:00
linux_panda.run	Update run scripts using usb_drv (fix #744)	2013-05-22 18:52:54 +02:00
multi_linux.run	ports-foc: assert use of 32-bit platforms	2013-06-30 13:48:10 +02:00
smp_linux_panda.run	Update run scripts using usb_drv (fix #744)	2013-05-22 18:52:54 +02:00
two_linux_panda.run	Update run scripts using usb_drv (fix #744)	2013-05-22 18:52:54 +02:00
two_linux.run	ports-foc: assert use of 32-bit platforms	2013-06-30 13:48:10 +02:00