Properly set clock frequencies

bootrom/sdboot/kprintf.h

@@ -33,6 +33,9 @@ static inline void kputc(char c)
 	while ((int32_t)(*tx) < 0);
 	*tx = c;
 #endif
+	volatile uint32_t *term = (void *) 0x64003000; // Terminal (32 bit)
+	while ((int32_t)(*term) < 0);
+	*term = c;
 }
 
 extern void kputs(const char *);

bootrom/sdboot/sd.c

@@ -12,7 +12,7 @@
 
 #define PAYLOAD_SIZE	(16 << 11)
 
-#define F_CLK 50000000UL
+#define F_CLK 60000000UL
 
 static volatile uint32_t * const spi = (void *)(SPI_CTRL_ADDR);
 

src/main/scala/unleashed/u500ml507devkit/Config.scala

@@ -20,8 +20,9 @@ import sifive.fpgashells.devices.xilinx.xilinxml507mig._
 class FreedomUML507Config extends Config(
   new WithoutTLMonitors      ++
   new WithJtagDTM            ++
+  new WithClockFrequency(60000000) ++ // 60 MHz
   new WithNMemoryChannels(1) ++
-  new WithNBigCores(1)       ++
+  new WithNSmallLinuxCores(1)       ++
   new BaseConfig
 )
 
@@ -45,7 +46,6 @@ class U500ML507DevKitConfig extends Config(
   new U500ML507DevKitPeripherals ++
   new FreedomUML507Config().alter((site,here,up) => {
     case ErrorParams => ErrorParams(Seq(AddressSet(0x3000, 0xfff)), maxAtomic=site(XLen)/8, maxTransfer=128)
-    case PeripheryBusKey => up(PeripheryBusKey, site).copy(frequency = 60000000) // 60 MHz clock
     case MemoryML507Key => XilinxML507MIGParams(address = Seq(AddressSet(0x80000000L,0x10000000L-1))) // 256 MiB
     case DTSTimebase => BigInt(1000000)
     case ExtMem => up(ExtMem).copy(size = 0x10000000L)