From 7b357bf521cd93c00cada4f5a7ca2cf05fea6eb6 Mon Sep 17 00:00:00 2001
From: yuvraj1803 <ysakshith@gmail.com>
Date: Fri, 10 Nov 2023 16:55:00 +0530
Subject: [PATCH] changed list() print format

---
 shell/shell.c | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/shell/shell.c b/shell/shell.c
index 743da90..47c40ea 100644
--- a/shell/shell.c
+++ b/shell/shell.c
@@ -13,6 +13,7 @@
 #include "string.h"
 #include "core/vm.h"
 #include "drivers/uart.h"
+#include "drivers/timer.h"
 #include "stdlib.h"
 
 // prototypes for shell commands
@@ -91,12 +92,9 @@ void shell_init(){
 // ===================================== Shell Commands =================================================
 
 void list(){
-    for(int vm=0;vm<total_vms;vm++){
-        printf("VMID: %d\n", vmlist[vm]->vmid);
-        printf("Name: %s\n", vmlist[vm]->name);
-        printf("State: %s\n", vm_state_to_string(vmlist[vm]->state));
-        printf("Size: %d\n", vmlist[vm]->vmdata_size);
-        printf("\n");
+    printf("VMID\tName\t\t\t\tState\tVirtual Time(ms)\n");
+    for(int vm=1;vm<total_vms;vm++){
+        printf("%d\t%s\t%s\t%d\n", vmlist[vm]->vmid,vmlist[vm]->name,vm_state_to_string(vmlist[vm]->state),get_virt_time(vmlist[vm]));
     }
 }