summaryrefslogtreecommitdiff
path: root/src/mainboard/technologic
diff options
context:
space:
mode:
Diffstat (limited to 'src/mainboard/technologic')
-rw-r--r--src/mainboard/technologic/ts5300/Config.lb2
-rw-r--r--src/mainboard/technologic/ts5300/Options.lb2
-rw-r--r--src/mainboard/technologic/ts5300/reset.c41
3 files changed, 2 insertions, 43 deletions
diff --git a/src/mainboard/technologic/ts5300/Config.lb b/src/mainboard/technologic/ts5300/Config.lb
index b9ea9bf5c2..e54adef65d 100644
--- a/src/mainboard/technologic/ts5300/Config.lb
+++ b/src/mainboard/technologic/ts5300/Config.lb
@@ -46,7 +46,7 @@ arch i386 end
driver mainboard.o
if HAVE_PIRQ_TABLE object irq_tables.o end
-object reset.o
+# object reset.o
##
## Romcc output
diff --git a/src/mainboard/technologic/ts5300/Options.lb b/src/mainboard/technologic/ts5300/Options.lb
index 7334b8b7a6..52b378685e 100644
--- a/src/mainboard/technologic/ts5300/Options.lb
+++ b/src/mainboard/technologic/ts5300/Options.lb
@@ -88,7 +88,7 @@ default HAVE_MP_TABLE=0
##
## Build code to reset the motherboard from coreboot
##
-default HAVE_HARD_RESET=1
+default HAVE_HARD_RESET=0
##
## Build code to export a programmable irq routing table
diff --git a/src/mainboard/technologic/ts5300/reset.c b/src/mainboard/technologic/ts5300/reset.c
deleted file mode 100644
index aff7d5a590..0000000000
--- a/src/mainboard/technologic/ts5300/reset.c
+++ /dev/null
@@ -1,41 +0,0 @@
-#if 0
-//#include "arch/romcc_io.h"
-#include <arch/io.h>
-
-typedef unsigned device_t;
-
-#define PCI_DEV(BUS, DEV, FN) ( \
- (((BUS) & 0xFF) << 16) | \
- (((DEV) & 0x1f) << 11) | \
- (((FN) & 0x7) << 8))
-
-static void pci_write_config8(device_t dev, unsigned where, unsigned char value)
-{
- unsigned addr;
- addr = dev | where;
- outl(0x80000000 | (addr & ~3), 0xCF8);
- outb(value, 0xCFC + (addr & 3));
-}
-
-static void pci_write_config32(device_t dev, unsigned where, unsigned value)
-{
- unsigned addr;
- addr = dev | where;
- outl(0x80000000 | (addr & ~3), 0xCF8);
- outl(value, 0xCFC);
-}
-
-static unsigned pci_read_config32(device_t dev, unsigned where)
-{
- unsigned addr;
- addr = dev | where;
- outl(0x80000000 | (addr & ~3), 0xCF8);
- return inl(0xCFC);
-}
-#endif
-void hard_reset(void)
-{
- //set_bios_reset();
- //pci_write_config8(PCI_DEV(1, 0x04, 0), 0x47, 1);
-}
-