Sorry, answer to myself. I miss the BLK_DEV_RAM=y param in kernel
compilation to have access to /dev/ram0.
Looking now for the mmc access.
Le sam. 18 sept. 2021 à 16:53, Matthieu Fatrez <matth...@fatrez.fr> a
écrit :
> Hello l4-hackers,
>
> I try to run a vm with l4re on a RPI4b with this files bellow, but I don't
> know how to find the root device to finalize the boot process.
>
> I haven't played on the network part yet, but if you have any advice on
> the subject as well, I'm a taker.
>
> Help needed please. Thanks.
>
> vm_hw.vbus
>
> ------8<------------------------------------------------------------------------------------------------
> Io.add_vbusses
> {
> vm_hw = Io.Vi.System_bus(function()
> MMC = wrap(Io.system_bus().mmc);
> end);
> }
>
> ------8<------------------------------------------------------------------------------------------------
>
> io.cfg
>
> ------8<------------------------------------------------------------------------------------------------
> local Res = Io.Res
> local Hw = Io.Hw
> local add_children = Io.Dt.add_children
>
> add_children(Io.system_bus(), function()
> mmc = Hw.Device(function()
> compatible = { "brcm,bcm2835-mmc" };
> Resource.reg0 = Res.mmio(0xfe300000, 0xfe3000FF);
> Resource.irq0 = Res.irq(0x7e + 32);
> Property.flags = Io.Hw_device_DF_dma_supported;
> end)
> end)
>
> ------8<------------------------------------------------------------------------------------------------
>
> mmc.dts
>
> ------8<------------------------------------------------------------------------------------------------
> /dts-v1/;
> /include/ "virt-arm_virt-64.dts"
>
> / {
> mmc@fe300000 {
> compatible = "brcm,bcm2835-mmc", "brcm,bcm2835-sdhci";
> reg = <0xfe300000 0x100>;
> interrupts = <0x0 0x7e 0x4>;
> clocks = <0x3 0x1c>;
> dmas = <0xa 0xb>;
> dma-names = "rx-tx";
> brcm,overclock-50 = <0x0>;
> status = "disabled";
> pinctrl-names = "default";
> pinctrl-0 = <0x19>;
> bus-width = <0x4>;
> phandle = <0x2d>;
> };
> };
>
> ------8<------------------------------------------------------------------------------------------------
>
> mfa.cfg
>
> ------8<------------------------------------------------------------------------------------------------
> local L4 = require "L4";
> local l = L4.default_loader;
>
> vbus_l4linux = l:new_channel();
>
> -- Start io & flash memory
> l:start({
> caps = {
> sigma0 = L4.cast(L4.Proto.Factory,
> L4.Env.sigma0):create(L4.Proto.Sigma0),
> icu = L4.Env.icu,
> vm_hw = vbus_l4linux:svr()
> },
> log = {"IO", "y"}
> }, "rom/io rom/io.cfg rom/vm_hw.vbus -vvvvvv");
>
> l:startv({
> caps = {
> ram = L4.Env.user_factory:create(
> L4.Proto.Dataspace, 256 * 1024 * 1024,
> L4.Mem_alloc_flags.Continuous |
> L4.Mem_alloc_flags.Pinned |
> L4.Mem_alloc_flags.Super_pages,
> 21):m("rws");
> vbus = vbus_l4linux;
> },
> log = L4.Env.log:m("rws")
> }, "rom/uvmm", "-v",
> "--kernel", "rom/Image.gz",
> "--ramdisk", "rom/ramdisk-armv8-64.rd",
> "--dtb", "rom/mmc.dtb",
> "--cmdline", "console=hvc0 ramdisk_size=10000 root=/dev/mmcblkp3
> rw");
>
> ------8<------------------------------------------------------------------------------------------------
>
> in modules.list
>
> ------8<------------------------------------------------------------------------------------------------
> entry mfa
> roottask moe rom/mfa.cfg
> module l4re
> module hello
> module uvmm
> module ned
> module mfa.cfg
> module uvmm
> module cons
> module dtb/virt-arm_virt-64.dtb
> module mmc.dtb
> module[shell] echo $SRC_BASE_ABS/pkg/uvmm/configs/vmm.lua
> module ramdisk-armv8-64.rd
> module[uncompress] Image.gz
> module io
> module io.cfg
> module vm_hw.vbus
>
> ------8<------------------------------------------------------------------------------------------------
>
>
> Log from console
>
> ------8<------------------------------------------------------------------------------------------------
> ## Starting application at 0x010000
> L4 Bootstrapper
> Build: #29 Sat Sep 18 16:38:05 CEST 2021, 10.2.1 20210110
> Raspberry Pi Model 4B, Rev 1.4, 8192MB, SoC BCM2711 [d03114]
> Warranty intact, OTP reading allowed, OTP programming allowed,
> Overvoltage allowed
> RAM: 0000000000000000 - 000000003b3fffff: 970752kB
> RAM: 0000000040000000 - 00000000fbffffff: 3080192kB
> RAM: 0000000100000000 - 00000001ffffffff: 4194304kB
> Total RAM: 8052MB
> Scanning fiasco
> Scanning sigma0
> Scanning moe
> Moving up to 18 modules behind 1100000
> moving module 17 { 39dc000-39dc066 } -> { 3ac1000-3ac1066 } [103]
> moving module 16 { 39db000-39db16e } -> { 3ac0000-3ac016e } [367]
> moving module 15 { 3796000-39da99f } -> { 387b000-3abf99f } [2378144]
> moving module 14 { 16d9000-37959ff } -> { 17be000-387a9ff } [34327040]
> moving module 13 { 1359000-16d8fff } -> { 143e000-17bdfff } [3670016]
> moving module 12 { 1358000-1358dbf } -> { 143d000-143ddbf } [3520]
> moving module 11 { 1357000-1357756 } -> { 143c000-143c756 } [1879]
> moving module 10 { 1356000-13565e9 } -> { 143b000-143b5e9 } [1514]
> moving module 09 { 130a000-1355ecf } -> { 13ef000-143aecf } [310992]
> moving module 08 { 1254000-130962f } -> { 1339000-13ee62f } [742960]
> moving module 07 { 1253000-1253386 } -> { 1338000-1338386 } [903]
> moving module 06 { 11d3000-1252a97 } -> { 12b8000-1337a97 } [522904]
> moving module 05 { 111d000-11d262f } -> { 1202000-12b762f } [742960]
> moving module 04 { 10f0000-111c9e7 } -> { 11d5000-12019e7 } [182760]
> moving module 03 { 10d2000-10ef957 } -> { 11b7000-11d4957 } [121176]
> moving module 02 { 109e000-10d13d7 } -> { 1183000-11b63d7 } [209880]
> moving module 01 { 1098000-109dd6f } -> { 117d000-1182d6f } [23920]
> moving module 00 { 101b000-1097387 } -> { 1100000-117c387 } [508808]
> Loading fiasco
> Loading sigma0
> Loading moe
> find kernel info page...
> found kernel info page (via ELF) at 3000
> Regions of list 'regions'
> [ 0, fff] { 1000} Arch mpspin
> [ 1000, 8dfff] { 8d000} Kern fiasco
> [ 8e000, 8e347] { 348} Root mbi_rt
> [ 100000, 10a46f] { a470} Sigma0 sigma0
> [ 140000, 170cab] { 30cac} Root moe
> [ 171cb0, 17eed7] { d228} Root moe
> [ 1000000, 101900b] { 1900c} Boot bootstrap
> [ 10000e8, 100011b] { 34} Root cpu_boot
> [ 101a1a4, 101ae49] { ca6} Boot modinfo
> [ 11b7000, 3ac1066] { 290a067} Root Module
> found kernel options (via ELF) at 4000
> Sigma0 config ip:00100474 sp:00000000
> Roottask config ip:00141584 sp:00000000
> Starting kernel fiasco at 000016d0
> Hello from Startup::stage2
> Number of IRQs available at this GIC: 256
> FPU: Initialize
> ARM generic timer: freq=54000000 interval=54000 cnt=1197663468
> SERIAL ESC: allocated IRQ 125 for serial uart
> Not using serial hack in slow timer handler.
> Welcome to L4/Fiasco.OC!
> L4/Fiasco.OC microkernel on arm
> Rev: unknown compiled with gcc 10.2.1 20210110 for RPi4 (Broadcom 2711)
> []
> Build: #1 Sat Sep 18 00:56:20 CEST 2021
>
> Allocate ARM PPI 25 to virtual 0
> Allocate ARM PPI 27 to virtual 1
> Allocate ARM PPI 25 to virtual 0
> Allocate ARM PPI 27 to virtual 1
> Allocate ARM PPI 25 to virtual 0
> Cache config: ON
> Allocate ARM PPI 27 to virtual 1
> ID_PFR[01]: 00002222 00000000Calibrating timer loop... Cache config: ON
> Allocate ARM PPI 25 to virtual 0
> done.
> Allocate ARM PPI 27 to virtual 1
> MDB: use page size: 30
> Cache config: ON
> ID_PFR[01]: 00002222 00000000MDB: use page size: 21
> ID_[DA]FR0: 10305106 00000000
> ID_[DA]FR0: 10305106 00000000
> ID_MMFR[04]: 00001124 00000000 00000000 00000000
> ID_MMFR[04]: 00001124 00000000 00000000 00000000
> MDB: use page size: 12
> ID_PFR[01]: 00002222 00000000S ID_[DA]FR0: 10305106 00000000
> IID_MMFR[04]: 00001124 00000000 00000000 00000000
> GMA0: Hello!
> KIP @ 3000
> allocated 4KB for maintenance structures
> SIGMA0: Dump of all resource maps
> RAM:------------------------
> [4:RWX:8e000;8efff]
> [0:RWX:8f000;fffff]
> [0:RWX:10b000;13ffff]
> [4:R-X:140000;170fff]
> [4:RW-:171000;17efff]
> [0:RWX:17f000;ffffff]
> [4:---:1000000;1000fff]
> [0:RWX:1001000;11b6fff]
> [4:RWX:11b7000;3ac1fff]
> [0:RWX:3ac2000;3b3fffff]
> [0:RWX:40000000;fbffffff]
> [0:RWX:100000000;1feffffff]
> IOMEM:----------------------
> [0:RW-:0;fff]
> [0:RW-:3b400000;3fffffff]
> [0:RW-:fc000000;ffffffff]
> [0:RW-:200000000;ffffffffffffffff]
> MOE: Hello world
> MOE: found 8185968 KByte free memory
> MOE: found RAM from 8e000 to 1ff000000
> MOE: allocated 8175 KByte for the page array @0x17f000
> MOE: virtual user address space [0-7fffffffff]
> MOE: rom name space cap -> [C:103000]
> MOE: rwfs name space cap -> [C:105000]
> BOOTFS: [11b7000-11d4958] [C:107000] l4re
> BOOTFS: [11d5000-12019e8] [C:109000] hello
> BOOTFS: [1202000-12b7630] [C:10b000] uvmm
> BOOTFS: [12b8000-1337a98] [C:10d000] ned
> BOOTFS: [1338000-1338387] [C:10f000] mfa.cfg
> BOOTFS: [1339000-13ee630] [C:111000] uvmm
> BOOTFS: [13ef000-143aed0] [C:112000] cons
> BOOTFS: [143b000-143b5ea] [C:114000] virt-arm_virt-64.dtb
> BOOTFS: [143c000-143c757] [C:116000] mmc.dtb
> BOOTFS: [143d000-143ddc0] [C:118000] vmm.lua
> BOOTFS: [143e000-17be000] [C:11a000] ramdisk-armv8-64.rd
> BOOTFS: [17be000-387aa00] [C:11c000] Image.gz
> BOOTFS: [387b000-3abf9a0] [C:11e000] io
> BOOTFS: [3ac0000-3ac016f] [C:120000] io.cfg
> BOOTFS: [3ac1000-3ac1067] [C:122000] vm_hw.vbus
> MOE: cmdline: moe rom/mfa.cfg
> MOE: Starting: rom/ned rom/mfa.cfg
> MOE: loading 'rom/ned'
> Ned says: Hi World!
> Ned: loading file: 'rom/mfa.cfg'
> IO | Io service
> IO | Verboseness level: 7
> IO | unused physical memory space:
> IO | [0000003b400000-0000003fffffff]
> IO | [000000fc000000-000000ffffffff]
> IO | [00000200000000-ffffffffffffffff]
> IO | no 'iommu' capability found, using CPU-phys for DMA
> VMM[]: Created VCPU 0 @ 17000
> VMM[GIC]: create ARM GICv2
> IO | Loading: config 'rom/io.cfg'
> IO | Loading: config 'rom/vm_hw.vbus'
> IO | Add IRQ resources to vbus: IRQ
> [0000000000009e-0000000000009e 1] none (align=0 flags=1)
> IO | vm_hw: [N12_GLOBAL__N_112Virtual_sbusE]
> IO | Resources: ==== start ====
> IO | Resources: ===== end =====
> IO | L4ICU: [N2Vi6Sw_icuE]
> IO | Resources: ==== start ====
> IO | Resources: ===== end =====
> IO | MMC: [N2Vi9Proxy_devE]
> IO | Resources: ==== start ====
> IO | IOMEM [000000fe300000-000000fe3000ff 100] 32-bit non-pref
> (align=ff flags=2)
> IO | IRQ [0000000000009e-0000000000009e 1] none (align=0
> flags=1)
> IO | DMADOM [00000000000000-00000000000000 1] (align=0 flags=6)
> IO | Resources: ===== end =====
> IO | Real Hardware -----------------------------------
> IO | System Bus:
> IO | Resources: ==== start ====
> IO | DMADOM [00000000000000-00000000000000 1] (align=0 flags=6)
> IO | Resources: ===== end =====
> IO | mmc:
> IO | compatible= { "brcm,bcm2835-mmc" }
> IO | Clients: ===== start ====
> IO | MMC: [N2Vi9Proxy_devE]
> IO | Clients: ===== end ====
> IO | Resources: ==== start ====
> IO | IOMEM [000000fe300000-000000fe3000ff 100] 32-bit non-pref
> (align=ff flags=2)
> IO | IRQ [0000000000009e-0000000000009e 1] none (align=0
> flags=1)
> IO | DMADOM [00000000000000-00000000000000 1] (align=0 flags=6)
> IO | Resources: ===== end =====
> IO | warning: could not register control interface at cap
> 'platform_ctl'
> IO | Ready. Waiting for request.
> VMM[main]: Hello out there.
> VMM[ram]: RAM: @ 0x3c00000 size=0x10000000 (ci)
> VMM[ram]: RAM: VMM mapping @ 0x2000000 size=0x10000000
> VMM[ram]: RAM: VM offset=0xfffffffffe400000
> VMM[main]: Loading kernel...
> VMM[file]: load: @ 0x3c00000
> VMM[file]: copy in: to offset 0x0-0x20bc9ff
> VMM[main]: Loading ram disk...
> VMM[ram]: load: rom/ramdisk-armv8-64.rd -> 0x13800000
> VMM[file]: load: @ 0x13800000
> VMM[file]: copy in: to offset 0xfc00000-0xff7ffff
> VMM[main]: Loaded ramdisk image rom/ramdisk-armv8-64.rd to 13800000 (size:
> 00380000)
> VMM[]: Create virtual console
> VMM[guest]: New mmio mapping: @ f1040000 10000
> VMM[GIC]: GICC virtualization only supports sizes up to 0x1000, adjusting
> device tree node
> VMM[GIC]: GIC interrupt-controller.reg update: Adjusting GICC size from
> 20000 to 1000
> VMM[guest]: New mmio mapping: @ f1060000 1000
> VMM[guest]: New mmio mapping: @ f1120000 100
> VMM[]: virtio_net@10000.l4vmm,virtiocap: capability net is invalid.
> VMM[vm]: Device creation for virtual device virtio_net@10000 failed.
> Disabling device.
> VMM[Timer]: Guest timer frequency is 54000000
> using (1/54), (9942053/29) to calculate timeouts
> VMM[psci]: Register PSCI device: hvc mode
> VMM[ioproxy]: Adding MMIO resource MMC.reg0 : [0xfe300000 - 0xfe3000ff]
> VMM[ioproxy]: Registering IRQ resource MMC.irq0 : 0x9e
> VMM[ram]: Cleaning caches for device tree [11fff000-11fff823] ([13bff000])
> VMM[main]: Populating RAM of virtual machine
> VMM[mmio]: Mapping [2000000 - 11ffffff] -> [3c00000 - 13bfffff]
> VMM[mmio]: Mapping [GICC] -> [f1060000 - f1060fff]
> VMM[mmio]: Mapping [1e000 - 1e0ff] -> [f1120000 - f11200ff]
> IO | new iomem region: p=000000fe000000 v=00000000400000 s=400000
> (bmb=0x36100)
> IO | map mem: p=000000fe300000 v=00000000700000 s=1000: done(0)
> VMM[mmio]: Mapping [200000 - 2000ff] -> [fe300000 - fe3000ff]
> VMM[]: reschedule(): Initiating cpu startup for 418000
> VMM[guest]: Powered up cpu0 [0x1f010]
> VMM[]: Starting Cpu0 @ 0x3c00000 in 64Bit mode (handler @ 103ed60, stack:
> 8000fba0, task: 41e000, mpidr: 80000000 (orig: 80000000)
> VMM[]: 04bab7c8: msr PMUSERENR_EL0 = 00000000 (ignored)
> VMM[]: ffff800010013d68: msr OSDLR_EL1 = 00000000 (ignored)
> VMM[]: ffff800010013d6c: msr OSLAR_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ee5c: msr DBGBCR0_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ef1c: msr DBGBVR0_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ee50: msr DBGBCR1_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ef10: msr DBGBVR1_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ee44: msr DBGBCR2_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ef04: msr DBGBVR2_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ee38: msr DBGBCR3_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002eef8: msr DBGBVR3_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ee2c: msr DBGBCR4_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002eeec: msr DBGBVR4_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ee20: msr DBGBCR5_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002eee0: msr DBGBVR5_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ecdc: msr DBGWCR0_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ed9c: msr DBGWVR0_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ecd0: msr DBGWCR1_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ed90: msr DBGWVR1_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ecc4: msr DBGWCR2_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ed84: msr DBGWVR2_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ecb8: msr DBGWCR3_EL1 = 00000000 (ignored)
> VMM[]: ffff80001002ed78: msr DBGWVR3_EL1 = 00000000 (ignored)
> VQ[0x1cb30]: num=256 d:0x4c14000 a:0x4c15000 u:0x4c16000
> VQ[0x1cb78]: num=256 d:0x4c0c000 a:0x4c0d000 u:0x4c0e000
> [ 1.400282] cacheinfo: Unable to detect cache hierarchy for CPU 0
> [ 1.414509] loop: module loaded
> [ 1.418690] megasas: 07.714.04.00-rc1
> [ 1.425640] libphy: Fixed MDIO Bus: probed
> [ 1.431368] tun: Universal TUN/TAP device driver, 1.6
> [ 1.437279] thunder_xcv, ver 1.0
> [ 1.440867] thunder_bgx, ver 1.0
> [ 1.444438] nicpf, ver 1.0
> [ 1.448109] hclge is initializing
> [ 1.451734] hns3: Hisilicon Ethernet Network Driver for Hip08 Family -
> version
> [ 1.459356] hns3: Copyright (c) 2017 Huawei Corporation.
> [ 1.465047] e1000: Intel(R) PRO/1000 Network Driver
> [ 1.470243] e1000: Copyright (c) 1999-2006 Intel Corporation.
> [ 1.476424] e1000e: Intel(R) PRO/1000 Network Driver
> [ 1.481710] e1000e: Copyright(c) 1999 - 2015 Intel Corporation.
> [ 1.488029] igb: Intel(R) Gigabit Ethernet Network Driver
> [ 1.493756] igb: Copyright (c) 2007-2014 Intel Corporation.
> [ 1.499697] igbvf: Intel(R) Gigabit Virtual Function Network Driver
> [ 1.506325] igbvf: Copyright (c) 2009 - 2012 Intel Corporation.
> [ 1.512801] sky2: driver version 1.30
> [ 1.517367] VFIO - User Level meta-driver version: 0.3
> [ 1.524155] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
> [ 1.531114] ehci-pci: EHCI PCI platform driver
> [ 1.535919] ehci-platform: EHCI generic platform driver
> [ 1.541542] ehci-orion: EHCI orion driver
> [ 1.545902] ehci-exynos: EHCI Exynos driver
> [ 1.550435] ohci_hcd: USB 1.1 'Open' Host Controller (OHCI) Driver
> [ 1.556998] ohci-pci: OHCI PCI platform driver
> [ 1.561801] ohci-platform: OHCI generic platform driver
> [ 1.567415] ohci-exynos: OHCI Exynos driver
> [ 1.572213] usbcore: registered new interface driver usb-storage
> [ 1.580207] i2c /dev entries driver
> [ 1.587651] sdhci: Secure Digital Host Controller Interface driver
> [ 1.594246] sdhci: Copyright(c) Pierre Ossman
> [ 1.599228] Synopsys Designware Multimedia Card Interface Driver
> [ 1.606125] sdhci-pltfm: SDHCI platform and OF driver helper
> [ 1.612955] ledtrig-cpu: registered to indicate activity on CPUs
> [ 1.620526] usbcore: registered new interface driver usbhid
> [ 1.626435] usbhid: USB HID core driver
> [ 1.634165] NET: Registered protocol family 17
> [ 1.639199] 9pnet: Installing 9P2000 support
> [ 1.643874] Key type dns_resolver registered
> [ 1.648725] registered taskstats version 1
> [ 1.653117] Loading compiled-in X.509 certificates
> [ 1.659117] Btrfs loaded, crc32c=crc32c-generic, integrity-checker=on,
> zoned=no
> [ 1.667260] ALSA device list:
> [ 1.670540] No soundcards found.
> [ 1.674948] VFS: Cannot open root device "mmcblkp3" or
> unknown-block(0,0): error -6
> [ 1.683078] Please append a correct "root=" boot option; here are the
> available partitions:
> [ 1.691888] Kernel panic - not syncing: VFS: Unable to mount root fs on
> unknown-block(0,0)
> [ 1.700521] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 5.13.0 #2
> [ 1.706738] Hardware name: L4 VM (DT)
> [ 1.710614] Call trace:
> [ 1.713229] dump_backtrace+0x0/0x1b0
> [ 1.717121] show_stack+0x1c/0x70
> [ 1.720653] dump_stack+0xd0/0x12c
> [ 1.724272] panic+0x16c/0x334
> [ 1.727531] mount_block_root+0x1bc/0x24c
> [ 1.731768] mount_root+0x104/0x138
> [ 1.735469] prepare_namespace+0x134/0x174
> [ 1.739793] kernel_init_freeable+0x260/0x2a4
> [ 1.744398] kernel_init+0x18/0x124
> [ 1.748108] ret_from_fork+0x10/0x30
> [ 1.751908] Kernel Offset: disabled
> [ 1.755604] CPU features: 0x10000071,00000846
> [ 1.760204] Memory Limit: none
> [ 1.763464] ---[ end Kernel panic - not syncing: VFS: Unable to mount
> root fs on unknown-block(0,0) ]---
>
> ------8<------------------------------------------------------------------------------------------------
>
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
