Background Work
Feature Description
Hello Team,
I'm stuck with issue of booting linux, CHIPYARD - LargeBOOMV3 - LINUX image Boot - Verilator
./simulator-chipyard.harness-LargeBoomV3Config \
~/chipyard/software/firemarshal/images/firechip/br-base/br-base-bin \
+max-cycles=10000000000
[UART] UART0 is here (stdin/stdout).
OpenSBI v1.2
/ __ \ / ____| _ _ _|
| | | |_ __ ___ _ __ | (___ | |_) || |
| | | | '_ \ / _ \ '_ \ ___ | _ < | |
| |__| | |) | __/ | | |_) | |) || |
_/| ./ _|| ||/|/____|
Platform Name : ucb-bar,chipyard
Platform Features : medeleg
Platform HART Count : 1
Platform IPI Device : aclint-mswi
Platform Timer Device : aclint-mtimer @ 500000Hz
Platform Console Device : sifive_uart
Platform HSM Device : ---
Platform PMU Device : ---
Platform Reboot Device : htif
Platform Shutdown Device : htif
Platform Suspend Device : ---
Firmware Base : 0x80000000
Firmware Size : 360 KB
Firmware RW Offset : 0x40000
Runtime SBI Version : 1.0
Domain0 Name : root
Domain0 Boot HART : 0
Domain0 HARTs : 0*
Domain0 Region00 : 0x0000000002000000-0x000000000200ffff M: (I,R,W) S/U: ()
Domain0 Region01 : 0x0000000080040000-0x000000008005ffff M: (R,W) S/U: ()
Domain0 Region02 : 0x0000000080000000-0x000000008003ffff M: (R,X) S/U: ()
Domain0 Region03 : 0x0000000000000000-0xffffffffffffffff M: (R,W,X) S/U: (R,W,X)
Domain0 Next Address : 0x0000000080200000
Domain0 Next Arg1 : 0x0000000081200000
Domain0 Next Mode : S-mode
Domain0 SysReset : yes
Domain0 SysSuspend : yes
Boot HART ID : 0
Boot HART Domain : root
Boot HART Priv Version : v1.12
Boot HART Base ISA : rv64imafdc
Boot HART ISA Extensions : none
Boot HART PMP Count : 8
Boot HART PMP Granularity : 4
Boot HART PMP Address Bits: 30
Boot HART MHPM Count : 0
Boot HART MIDELEG : 0x0000000000000222
Boot HART MEDELEG : 0x000000000000b109
[ 0.000000] Linux version 6.6.0-00004-g67bc4513761f (elv5kor@BANI-C-009DU) (riscv64-unknown-linux-gnu-gcc (gc891d8dc23e) 13.2.0, GNU ld (GNU Binutils) 2.42) #2 SMP Thu Jan 29 11:25:12 IST 2026
[ 0.000000] Machine model: ucb-bar,chipyard
[ 0.000000] Forcing kernel command line to: console=ttyS0 console=ttySIF0 earlycon
[ 0.000000] SBI specification v1.0 detected
[ 0.000000] SBI implementation ID=0x1 Version=0x10002
[ 0.000000] SBI TIME extension detected
[ 0.000000] SBI IPI extension detected
[ 0.000000] SBI RFENCE extension detected
[ 0.000000] SBI SRST extension detected
[ 0.000000] earlycon: sifive0 at MMIO 0x0000000010020000 (options '')
[ 0.000000] printk: bootconsole [sifive0] enabled
[ 0.000000] efi: UEFI not found.
[ 0.000000] OF: reserved mem: 0x0000000080000000..0x000000008003ffff (256 KiB) map non-reusable mmode_resv1@80000000
[ 0.000000] OF: reserved mem: 0x0000000080040000..0x000000008005ffff (128 KiB) map non-reusable mmode_resv0@80040000
[ 0.000000] Zone ranges:
[ 0.000000] DMA32 [mem 0x0000000080000000-0x000000008fffffff]
[ 0.000000] Normal empty
[ 0.000000] Movable zone start for each node
[ 0.000000] Early memory node ranges
[ 0.000000] node 0: [mem 0x0000000080000000-0x000000008fffffff]
[ 0.000000] Initmem setup node 0 [mem 0x0000000080000000-0x000000008fffffff]
[ 0.000000] SBI HSM extension detected
[ 0.000000] Falling back to deprecated "riscv,isa"
[ 0.000000] riscv: base ISA extensions acdfim
[ 0.000000] riscv: ELF capabilities acdfim
[ 0.000000] percpu: Embedded 19 pages/cpu s37728 r8192 d31904 u77824
[ 0.000000] Kernel command line: console=ttyS0 console=ttySIF0 earlycon
[ 0.000000] random: crng init done
[ 0.000000] random: overriding entropy value
[ 0.000000] Dentry cache hash table entries: 32768 (order: 6, 262144 bytes, linear)
[ 0.000000] Inode-cache hash table entries: 16384 (order: 5, 131072 bytes, linear)
[ 0.000000] Built 1 zonelists, mobility grouping on. Total pages: 64512
[ 0.000000] mem auto-init: stack:all(zero), heap alloc:off, heap free:off
[ 0.000000] Virtual kernel memory layout:
[ 0.000000] fixmap : 0xffffffc6fea00000 - 0xffffffc6ff000000 (6144 kB)
[ 0.000000] pci io : 0xffffffc6ff000000 - 0xffffffc700000000 ( 16 MB)
[ 0.000000] vmemmap : 0xffffffc700000000 - 0xffffffc800000000 (4096 MB)
[ 0.000000] vmalloc : 0xffffffc800000000 - 0xffffffd800000000 ( 64 GB)
[ 0.000000] modules : 0xffffffff00f31000 - 0xffffffff80000000 (2032 MB)
[ 0.000000] lowmem : 0xffffffd800000000 - 0xffffffd810000000 ( 256 MB)
[ 0.000000] kernel : 0xffffffff80000000 - 0xffffffffffffffff (2047 MB)
[ 0.000000] Memory: 224376K/262144K available (4738K kernel code, 3298K rwdata, 2048K rodata, 3692K init, 369K bss, 37768K reserved, 0K cma-reserved)
[ 0.000000] SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
[ 0.000000] rcu: Hierarchical RCU implementation.
[ 0.000000] rcu: RCU restricting CPUs from NR_CPUS=32 to nr_cpu_ids=1.
[ 0.000000] rcu: RCU debug extended QS entry/exit.
[ 0.000000] Tracing variant of Tasks RCU enabled.
[ 0.000000] rcu: RCU calculated value of scheduler-enlistment delay is 25 jiffies.
[ 0.000000] rcu: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=1
[ 0.000000] NR_IRQS: 64, nr_irqs: 64, preallocated irqs: 0
[ 0.000000] riscv-intc: 64 local interrupts mapped
[ 0.000000] plic: interrupt-controller@c000000: mapped 1 interrupts with 1 handlers for 2 contexts.
[ 0.000000] riscv: providing IPIs using SBI IPI extension
[ 0.000000] rcu: srcu_init: Setting srcu_struct sizes based on contention.
[ 0.000000] clocksource: riscv_clocksource: mask: 0xffffffffffffffff max_cycles: 0x1d854df40, max_idle_ns: 7052723233920 ns
[ 0.000002] sched_clock: 64 bits at 500kHz, resolution 2000ns, wraps every 4398046511000ns
[ 0.008466] Console: colour dummy device 80x25
[ 0.012732] Calibrating delay loop (skipped), value calculated using timer frequency.. 1.00 BogoMIPS (lpj=2000)
[ 0.022762] pid_max: default: 32768 minimum: 301
[ 0.027446] LSM: initializing lsm=capability,integrity
[ 0.032546] Mount-cache hash table entries: 512 (order: 0, 4096 bytes, linear)
[ 0.039696] Mountpoint-cache hash table entries: 512 (order: 0, 4096 bytes, linear)
[ 0.049690] RCU Tasks Trace: Setting shift to 0 and lim to 1 rcu_task_cb_adjust=1.
[ 0.056654] riscv: ELF compat mode unsupported
[ 0.056670] ASID allocator disabled (0 bits)
[ 0.065390] rcu: Hierarchical SRCU implementation.
[ 0.069964] rcu: Max phase no-delay instances is 1000.
[ 0.075518] EFI services will not be available.
[ 0.079924] smp: Bringing up secondary CPUs ...
[ 0.084230] smp: Brought up 1 node, 1 CPU
[ 0.088750] devtmpfs: initialized
[ 0.093802] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns
[ 0.102808] futex hash table entries: 256 (order: 2, 16384 bytes, linear)
[ 0.109746] pinctrl core: initialized pinctrl subsystem
[ 0.116326] DMA: preallocated 128 KiB GFP_KERNEL pool for atomic allocations
[ 0.122658] DMA: preallocated 128 KiB GFP_KERNEL|GFP_DMA32 pool for atomic allocations
[ 0.130920] thermal_sys: Registered thermal governor 'step_wise'
[ 0.130998] cpuidle: using governor menu
[ 0.168630] cpu0: Ratio of byte access time to unaligned word access is 0.00, unaligned accesses are slow
[ 0.180714] HugeTLB: registered 2.00 MiB page size, pre-allocated 0 pages
[ 0.186746] HugeTLB: 28 KiB vmemmap can be freed for a 2.00 MiB page
[ 0.193590] ACPI: Interpreter disabled.
[ 0.197042] iommu: Default domain type: Translated
[ 0.201678] iommu: DMA domain TLB invalidation policy: strict mode
[ 0.208810] clocksource: Switched to clocksource riscv_clocksource
[ 0.214862] pnp: PnP ACPI: disabled
[ 0.240618] workingset: timestamp_bits=46 max_order=16 bucket_order=0
[ 0.247300] io scheduler mq-deadline registered
[ 0.251114] io scheduler kyber registered
[ 0.255108] io scheduler bfq registered
[ 0.335388] Serial: 8250/16550 driver, 4 ports, IRQ sharing disabled
[ 0.343382] SuperH (H)SCI(F) driver initialized
[ 0.347860] 10020000.serial: ttySIF0 at MMIO 0x10020000 (irq = 12, base_baud = 31250000) is a SiFive UART v0
[ 0.357008] printk: console [ttySIF0] enabled
[ 0.357008] printk: console [ttySIF0] enabled
[ 0.365646] printk: bootconsole [sifive0] disabled
[ 0.365646] printk: bootconsole [sifive0] disabled
[ 0.384462] loop: module loaded
[ 0.388048] riscv-pmu-sbi: SBI PMU extension is available
[ 0.392730] riscv-pmu-sbi: 16 firmware and 2 hardware counters
[ 0.398508] riscv-pmu-sbi: Perf sampling/filtering is not supported as sscof extension is not available
[ 0.435986] debug_vm_pgtable: [debug_vm_pgtable ]: Validating architecture page table helpers
[ 0.445488] clk: Disabling unused clocks
[ 0.453874] Freeing unused kernel image (initmem) memory: 3692K
[ 0.459074] Run /init as init process
[1827079619000] %Error: BoomNonBlockingDCache.sv:754: Assertion failed in TOP.TestDriver.testHarness.chiptop0.system.tile_prci_domain.element_reset_domain_boom_tile.dcache: Assertion failed: L1DCache failed too many SCs in a row
at dcache.scala:703 assert(debug_sc_fail_cnt < 100.U, "L1DCache failed too many SCs in a row")
Motivating Example
boot linux in verilator
Background Work
Feature Description
Hello Team,
I'm stuck with issue of booting linux, CHIPYARD - LargeBOOMV3 - LINUX image Boot - Verilator
./simulator-chipyard.harness-LargeBoomV3Config \
~/chipyard/software/firemarshal/images/firechip/br-base/br-base-bin \
+max-cycles=10000000000
[UART] UART0 is here (stdin/stdout).
OpenSBI v1.2
/ __ \ / ____| _ _ _|
| | | |_ __ ___ _ __ | (___ | |_) || |
| | | | '_ \ / _ \ '_ \ ___ | _ < | |
| |__| | |) | __/ | | |_) | |) || |
_/| ./ _|| ||/|/____|
Platform Name : ucb-bar,chipyard
Platform Features : medeleg
Platform HART Count : 1
Platform IPI Device : aclint-mswi
Platform Timer Device : aclint-mtimer @ 500000Hz
Platform Console Device : sifive_uart
Platform HSM Device : ---
Platform PMU Device : ---
Platform Reboot Device : htif
Platform Shutdown Device : htif
Platform Suspend Device : ---
Firmware Base : 0x80000000
Firmware Size : 360 KB
Firmware RW Offset : 0x40000
Runtime SBI Version : 1.0
Domain0 Name : root
Domain0 Boot HART : 0
Domain0 HARTs : 0*
Domain0 Region00 : 0x0000000002000000-0x000000000200ffff M: (I,R,W) S/U: ()
Domain0 Region01 : 0x0000000080040000-0x000000008005ffff M: (R,W) S/U: ()
Domain0 Region02 : 0x0000000080000000-0x000000008003ffff M: (R,X) S/U: ()
Domain0 Region03 : 0x0000000000000000-0xffffffffffffffff M: (R,W,X) S/U: (R,W,X)
Domain0 Next Address : 0x0000000080200000
Domain0 Next Arg1 : 0x0000000081200000
Domain0 Next Mode : S-mode
Domain0 SysReset : yes
Domain0 SysSuspend : yes
Boot HART ID : 0
Boot HART Domain : root
Boot HART Priv Version : v1.12
Boot HART Base ISA : rv64imafdc
Boot HART ISA Extensions : none
Boot HART PMP Count : 8
Boot HART PMP Granularity : 4
Boot HART PMP Address Bits: 30
Boot HART MHPM Count : 0
Boot HART MIDELEG : 0x0000000000000222
Boot HART MEDELEG : 0x000000000000b109
[ 0.000000] Linux version 6.6.0-00004-g67bc4513761f (elv5kor@BANI-C-009DU) (riscv64-unknown-linux-gnu-gcc (gc891d8dc23e) 13.2.0, GNU ld (GNU Binutils) 2.42) #2 SMP Thu Jan 29 11:25:12 IST 2026
[ 0.000000] Machine model: ucb-bar,chipyard
[ 0.000000] Forcing kernel command line to: console=ttyS0 console=ttySIF0 earlycon
[ 0.000000] SBI specification v1.0 detected
[ 0.000000] SBI implementation ID=0x1 Version=0x10002
[ 0.000000] SBI TIME extension detected
[ 0.000000] SBI IPI extension detected
[ 0.000000] SBI RFENCE extension detected
[ 0.000000] SBI SRST extension detected
[ 0.000000] earlycon: sifive0 at MMIO 0x0000000010020000 (options '')
[ 0.000000] printk: bootconsole [sifive0] enabled
[ 0.000000] efi: UEFI not found.
[ 0.000000] OF: reserved mem: 0x0000000080000000..0x000000008003ffff (256 KiB) map non-reusable mmode_resv1@80000000
[ 0.000000] OF: reserved mem: 0x0000000080040000..0x000000008005ffff (128 KiB) map non-reusable mmode_resv0@80040000
[ 0.000000] Zone ranges:
[ 0.000000] DMA32 [mem 0x0000000080000000-0x000000008fffffff]
[ 0.000000] Normal empty
[ 0.000000] Movable zone start for each node
[ 0.000000] Early memory node ranges
[ 0.000000] node 0: [mem 0x0000000080000000-0x000000008fffffff]
[ 0.000000] Initmem setup node 0 [mem 0x0000000080000000-0x000000008fffffff]
[ 0.000000] SBI HSM extension detected
[ 0.000000] Falling back to deprecated "riscv,isa"
[ 0.000000] riscv: base ISA extensions acdfim
[ 0.000000] riscv: ELF capabilities acdfim
[ 0.000000] percpu: Embedded 19 pages/cpu s37728 r8192 d31904 u77824
[ 0.000000] Kernel command line: console=ttyS0 console=ttySIF0 earlycon
[ 0.000000] random: crng init done
[ 0.000000] random: overriding entropy value
[ 0.000000] Dentry cache hash table entries: 32768 (order: 6, 262144 bytes, linear)
[ 0.000000] Inode-cache hash table entries: 16384 (order: 5, 131072 bytes, linear)
[ 0.000000] Built 1 zonelists, mobility grouping on. Total pages: 64512
[ 0.000000] mem auto-init: stack:all(zero), heap alloc:off, heap free:off
[ 0.000000] Virtual kernel memory layout:
[ 0.000000] fixmap : 0xffffffc6fea00000 - 0xffffffc6ff000000 (6144 kB)
[ 0.000000] pci io : 0xffffffc6ff000000 - 0xffffffc700000000 ( 16 MB)
[ 0.000000] vmemmap : 0xffffffc700000000 - 0xffffffc800000000 (4096 MB)
[ 0.000000] vmalloc : 0xffffffc800000000 - 0xffffffd800000000 ( 64 GB)
[ 0.000000] modules : 0xffffffff00f31000 - 0xffffffff80000000 (2032 MB)
[ 0.000000] lowmem : 0xffffffd800000000 - 0xffffffd810000000 ( 256 MB)
[ 0.000000] kernel : 0xffffffff80000000 - 0xffffffffffffffff (2047 MB)
[ 0.000000] Memory: 224376K/262144K available (4738K kernel code, 3298K rwdata, 2048K rodata, 3692K init, 369K bss, 37768K reserved, 0K cma-reserved)
[ 0.000000] SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
[ 0.000000] rcu: Hierarchical RCU implementation.
[ 0.000000] rcu: RCU restricting CPUs from NR_CPUS=32 to nr_cpu_ids=1.
[ 0.000000] rcu: RCU debug extended QS entry/exit.
[ 0.000000] Tracing variant of Tasks RCU enabled.
[ 0.000000] rcu: RCU calculated value of scheduler-enlistment delay is 25 jiffies.
[ 0.000000] rcu: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=1
[ 0.000000] NR_IRQS: 64, nr_irqs: 64, preallocated irqs: 0
[ 0.000000] riscv-intc: 64 local interrupts mapped
[ 0.000000] plic: interrupt-controller@c000000: mapped 1 interrupts with 1 handlers for 2 contexts.
[ 0.000000] riscv: providing IPIs using SBI IPI extension
[ 0.000000] rcu: srcu_init: Setting srcu_struct sizes based on contention.
[ 0.000000] clocksource: riscv_clocksource: mask: 0xffffffffffffffff max_cycles: 0x1d854df40, max_idle_ns: 7052723233920 ns
[ 0.000002] sched_clock: 64 bits at 500kHz, resolution 2000ns, wraps every 4398046511000ns
[ 0.008466] Console: colour dummy device 80x25
[ 0.012732] Calibrating delay loop (skipped), value calculated using timer frequency.. 1.00 BogoMIPS (lpj=2000)
[ 0.022762] pid_max: default: 32768 minimum: 301
[ 0.027446] LSM: initializing lsm=capability,integrity
[ 0.032546] Mount-cache hash table entries: 512 (order: 0, 4096 bytes, linear)
[ 0.039696] Mountpoint-cache hash table entries: 512 (order: 0, 4096 bytes, linear)
[ 0.049690] RCU Tasks Trace: Setting shift to 0 and lim to 1 rcu_task_cb_adjust=1.
[ 0.056654] riscv: ELF compat mode unsupported
[ 0.056670] ASID allocator disabled (0 bits)
[ 0.065390] rcu: Hierarchical SRCU implementation.
[ 0.069964] rcu: Max phase no-delay instances is 1000.
[ 0.075518] EFI services will not be available.
[ 0.079924] smp: Bringing up secondary CPUs ...
[ 0.084230] smp: Brought up 1 node, 1 CPU
[ 0.088750] devtmpfs: initialized
[ 0.093802] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns
[ 0.102808] futex hash table entries: 256 (order: 2, 16384 bytes, linear)
[ 0.109746] pinctrl core: initialized pinctrl subsystem
[ 0.116326] DMA: preallocated 128 KiB GFP_KERNEL pool for atomic allocations
[ 0.122658] DMA: preallocated 128 KiB GFP_KERNEL|GFP_DMA32 pool for atomic allocations
[ 0.130920] thermal_sys: Registered thermal governor 'step_wise'
[ 0.130998] cpuidle: using governor menu
[ 0.168630] cpu0: Ratio of byte access time to unaligned word access is 0.00, unaligned accesses are slow
[ 0.180714] HugeTLB: registered 2.00 MiB page size, pre-allocated 0 pages
[ 0.186746] HugeTLB: 28 KiB vmemmap can be freed for a 2.00 MiB page
[ 0.193590] ACPI: Interpreter disabled.
[ 0.197042] iommu: Default domain type: Translated
[ 0.201678] iommu: DMA domain TLB invalidation policy: strict mode
[ 0.208810] clocksource: Switched to clocksource riscv_clocksource
[ 0.214862] pnp: PnP ACPI: disabled
[ 0.240618] workingset: timestamp_bits=46 max_order=16 bucket_order=0
[ 0.247300] io scheduler mq-deadline registered
[ 0.251114] io scheduler kyber registered
[ 0.255108] io scheduler bfq registered
[ 0.335388] Serial: 8250/16550 driver, 4 ports, IRQ sharing disabled
[ 0.343382] SuperH (H)SCI(F) driver initialized
[ 0.347860] 10020000.serial: ttySIF0 at MMIO 0x10020000 (irq = 12, base_baud = 31250000) is a SiFive UART v0
[ 0.357008] printk: console [ttySIF0] enabled
[ 0.357008] printk: console [ttySIF0] enabled
[ 0.365646] printk: bootconsole [sifive0] disabled
[ 0.365646] printk: bootconsole [sifive0] disabled
[ 0.384462] loop: module loaded
[ 0.388048] riscv-pmu-sbi: SBI PMU extension is available
[ 0.392730] riscv-pmu-sbi: 16 firmware and 2 hardware counters
[ 0.398508] riscv-pmu-sbi: Perf sampling/filtering is not supported as sscof extension is not available
[ 0.435986] debug_vm_pgtable: [debug_vm_pgtable ]: Validating architecture page table helpers
[ 0.445488] clk: Disabling unused clocks
[ 0.453874] Freeing unused kernel image (initmem) memory: 3692K
[ 0.459074] Run /init as init process
[1827079619000] %Error: BoomNonBlockingDCache.sv:754: Assertion failed in TOP.TestDriver.testHarness.chiptop0.system.tile_prci_domain.element_reset_domain_boom_tile.dcache: Assertion failed: L1DCache failed too many SCs in a row
Motivating Example
boot linux in verilator