diff options
Diffstat (limited to 'extras/mini-os/kernel.c')
| -rw-r--r-- | extras/mini-os/kernel.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index 4af99cdd35..aa944f50c3 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -109,8 +109,8 @@ void start_kernel(start_info_t *si) printk(" %lx", si->net_rings[i]); }; printk("\n"); printk(" blk_ring: 0x%lx\n", si->blk_ring); -#endif printk(" dom_id: %ld\n", si->dom_id); +#endif printk(" flags: 0x%lx\n", si->flags); printk(" cmd_line: %s\n", si->cmd_line ? (const char *)si->cmd_line : "NULL"); |