diff options
Diffstat (limited to 'lib/sbi/sbi_init.c')
| -rw-r--r-- | lib/sbi/sbi_init.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c index 6ef8742..f0eb365 100644 --- a/lib/sbi/sbi_init.c +++ b/lib/sbi/sbi_init.c @@ -75,8 +75,9 @@ static void sbi_boot_print_general(struct sbi_scratch *scratch) sbi_printf("Platform IPI Device : %s\n", (idev) ? idev->name : "---"); tdev = sbi_timer_get_device(); - sbi_printf("Platform Timer Device : %s\n", - (tdev) ? tdev->name : "---"); + sbi_printf("Platform Timer Device : %s @ %luHz\n", + (tdev) ? tdev->name : "---", + (tdev) ? tdev->timer_freq : 0); cdev = sbi_console_get_device(); sbi_printf("Platform Console Device : %s\n", (cdev) ? cdev->name : "---"); |