removed no neded files from K1OM kernel
authorReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 5 Dec 2014 08:55:13 +0000 (09:55 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 5 Dec 2014 08:55:13 +0000 (09:55 +0100)
kernel/Hakefile

index 8c176a7..3a955fb 100644 (file)
@@ -151,7 +151,7 @@ let
                 "arch/x86/perfmon.c", 
                 "arch/x86/perfmon_intel.c", 
                 "arch/x86/perfmon_amd.c", 
-                "arch/x86/rtc.c", 
+--              "arch/x86/rtc.c", 
                 "arch/x86/timing.c",
                 "arch/x86/startup_x86.c", 
                 "arch/x86/ipi_notify.c",
@@ -170,13 +170,10 @@ let
 
               ] ++ (if Config.microbenchmarks then ["arch/x86_64/microbenchmarks.c"] else []),
      mackerelDevices = [ "lpc_pic", 
-                         "pc16550d", 
                          "ia32", 
                          "amd64", 
                          "xapic", 
-                         "amd_vmcb", 
                          "cpuid", 
-                         "lpc_rtc", 
                          "xeon_phi/xeon_phi_serial" ],
      addLibraries = [ "elf_kernel" ] 
      },