bios: flushl2 command

diff --git a/software/bios/main.c b/software/bios/main.c
index 97a0f82da2c2d44e1cebefca4b1ff5ec0d62d24a..091b2d9195c5fbd4b91213c76d874377fe5fb070 100644 (file)
--- a/software/bios/main.c
+++ b/software/bios/main.c
@@ -347,6 +347,7 @@ static void do_command(char *c)
        else if(strcmp(token, "mw") == 0) mw(get_token(&c), get_token(&c), get_token(&c));
        else if(strcmp(token, "mc") == 0) mc(get_token(&c), get_token(&c), get_token(&c));
        else if(strcmp(token, "crc") == 0) crc(get_token(&c), get_token(&c));
+       else if(strcmp(token, "flushl2") == 0) flush_l2_cache();
 
        else if(strcmp(token, "flashboot") == 0) flashboot();
        else if(strcmp(token, "serialboot") == 0) serialboot();