bios: update banner

diff --git a/software/bios/main.c b/software/bios/main.c
index c22a12a72d0edde986c1d7cec2ccaa47c374d3a3..3044c280bd7b6fadf724e64eac34d57f3e8bd7a3 100644 (file)
--- a/software/bios/main.c
+++ b/software/bios/main.c
@@ -496,8 +496,8 @@ int main(int i, char **c)
        irq_setmask(0);
        irq_setie(1);
        uart_init();
-       puts("\nMiSoC BIOS   http://www.milkymist.org\n"
-       "(c) Copyright 2007-2013 Sebastien Bourdeauducq");
+       puts("\nMiSoC BIOS   http://m-labs.hk\n"
+       "(c) Copyright 2007-2014 Sebastien Bourdeauducq");
        printf("Revision %08x built "__DATE__" "__TIME__"\n\n", GIT_ID);
        crcbios();
        id_print();