#include <asm/io.h>
 #include <asm/irq.h>
 
-#include <asm/arch/regs-serial.h>
+#include <asm/arch/regs-s3c2443-clock.h>
+#include <asm/arch/reset.h>
 
 #include <asm/plat-s3c24xx/s3c2443.h>
 #include <asm/plat-s3c24xx/devs.h>
        .cls            = &s3c2443_sysclass,
 };
 
+static void s3c2443_hard_reset(void)
+{
+       __raw_writel(S3C2443_SWRST_RESET, S3C2443_SWRST);
+}
+
 int __init s3c2443_init(void)
 {
        printk("S3C2443: Initialising architecture\n");
 
+       s3c24xx_reset_hook = s3c2443_hard_reset;
+
        s3c_device_nand.name = "s3c2412-nand";
 
        return sysdev_register(&s3c2443_sysdev);
 
 #define S3C2443_PWRCFG                 S3C2443_CLKREG(0x60)
 #define S3C2443_RSTCON                 S3C2443_CLKREG(0x64)
 
+#define S3C2443_SWRST_RESET            (0x533c2443)
+
 #define S3C2443_PLLCON_OFF             (1<<24)
 
 #define S3C2443_CLKSRC_I2S_EXT         (1<<14)