On Mon, 31 Aug 2020 at 12:55, Jan Kiszka <jan.kis...@siemens.com> wrote:

>
> Jakub, could you help with validating this? I don't have RPi4 variants
> with 2 or 4 GB in reach ATM.
>

Verified with 2G, 4G and 8G board. Boots up, sees all the memory and runs
the non-root Linux cell fine. But I had to update the rpi-firmware to the
latest version (20200819). Without that, the boards were hanging up waiting
for /dev/mmcblk0p2 with some errors earlier in the log (attached).

By the way, for some reason the ivshmem-net is showing up as eth1 in the
-next build and thus is not being configured automatically.

Jakub

-- 
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to jailhouse-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jailhouse-dev/CAGdCPwvhkChVGGkr-fe%3DQ4WYEr2f1tQ0%2BGSHDnKRpfWWsYSp1A%40mail.gmail.com.
NOTICE:  BL31: v2.2(release):
NOTICE:  BL31: Built : 19:28:53, Aug 31 2020
[    0.000000] Booting Linux on physical CPU 0x0000000000 [0x410fd083]
[    0.000000] Linux version 5.4.59 (builder@b045fd5cd4c9) (gcc version 8.3.0 
(Debian 8.3.0-2)) #1 SMP PREEMPT Mon Aug 31 19:31:26 UTC 2020
[    0.000000] Machine model: Raspberry Pi 4 Model B Rev 1.1
[    0.000000] efi: Getting EFI parameters from FDT:
[    0.000000] efi: UEFI not found.
[    0.000000] cma: Reserved 256 MiB at 0x0000000070000000
[    0.000000] psci: probing for conduit method from DT.
[    0.000000] psci: PSCIv1.1 detected in firmware.
[    0.000000] psci: Using standard PSCI v0.2 function IDs
[    0.000000] psci: MIGRATE_INFO_TYPE not supported.
[    0.000000] psci: SMC Calling Convention v1.1
[    0.000000] percpu: Embedded 31 pages/cpu s87064 r8192 d31720 u126976
[    0.000000] Detected PIPT I-cache on CPU0
[    0.000000] CPU features: detected: EL2 vector hardening
[    0.000000] Speculative Store Bypass Disable mitigation not required
[    0.000000] Built 1 zonelists, mobility grouping on.  Total pages: 432306
[    0.000000] Kernel command line: coherent_pool=1M 8250.nr_uarts=1 cma=64M 
cma=256M  smsc95xx.macaddr=DC:A6:32:49:D6:42 vc_mem.mem_base=0x3ec00000 
vc_mem.mem_size=0x40000000  console=ttyS0,115200 root=/dev/mmcblk0p2 rootwait
[    0.000000] Dentry cache hash table entries: 262144 (order: 9, 2097152 
bytes, linear)
[    0.000000] Inode-cache hash table entries: 131072 (order: 8, 1048576 bytes, 
linear)
[    0.000000] mem auto-init: stack:off, heap alloc:off, heap free:off
[    0.000000] software IO TLB: mapped [mem 0x37400000-0x3b400000] (64MB)
[    0.000000] Memory: 1372904K/1756672K available (9212K kernel code, 1072K 
rwdata, 3204K rodata, 960K init, 1198K bss, 121624K reserved, 262144K 
cma-reserved)
[    0.000000] SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=4, Nodes=1
[    0.000000] ftrace: allocating 30698 entries in 120 pages
[    0.000000] rcu: Preemptible hierarchical RCU implementation.
[    0.000000] rcu:     RCU restricting CPUs from NR_CPUS=256 to nr_cpu_ids=4.
[    0.000000]  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=4
[    0.000000] NR_IRQS: 64, nr_irqs: 64, preallocated irqs: 0
[    0.000000] GIC: Using split EOI/Deactivate mode
[    0.000000] random: get_random_bytes called from start_kernel+0x320/0x4ac 
with crng_init=0
[    0.000000] arch_timer: cp15 timer(s) running at 54.00MHz (phys).
[    0.000000] clocksource: arch_sys_counter: mask: 0xffffffffffffff 
max_cycles: 0xc743ce346, max_idle_ns: 440795203123 ns
[    0.000005] sched_clock: 56 bits at 54MHz, resolution 18ns, wraps every 
4398046511102ns
[    0.000209] Console: colour dummy device 80x25
[    0.000265] Calibrating delay loop (skipped), value calculated using timer 
frequency.. 108.00 BogoMIPS (lpj=216000)
[    0.000286] pid_max: default: 32768 minimum: 301
[    0.000589] Mount-cache hash table entries: 4096 (order: 3, 32768 bytes, 
linear)
[    0.000622] Mountpoint-cache hash table entries: 4096 (order: 3, 32768 
bytes, linear)
[    0.001721] Disabling memory control group subsystem
[    0.024052] ASID allocator initialised with 32768 entries
[    0.032047] rcu: Hierarchical SRCU implementation.
[    0.040358] EFI services will not be available.
[    0.048108] smp: Bringing up secondary CPUs ...
[    0.080345] Detected PIPT I-cache on CPU1
[    0.080400] CPU1: Booted secondary processor 0x0000000001 [0x410fd083]
[    0.112459] Detected PIPT I-cache on CPU2
[    0.112504] CPU2: Booted secondary processor 0x0000000002 [0x410fd083]
[    0.144576] Detected PIPT I-cache on CPU3
[    0.144618] CPU3: Booted secondary processor 0x0000000003 [0x410fd083]
[    0.144772] smp: Brought up 1 node, 4 CPUs
[    0.144810] SMP: Total of 4 processors activated.
[    0.144825] CPU features: detected: 32-bit EL0 Support
[    0.144839] CPU features: detected: CRC32 instructions
[    0.167162] CPU: All CPU(s) started at EL2
[    0.167221] alternatives: patching kernel code
[    0.168400] devtmpfs: initialized
[    0.176349] Enabled cp15_barrier support
[    0.176384] Enabled setend support
[    0.176824] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, 
max_idle_ns: 7645041785100000 ns
[    0.176853] futex hash table entries: 1024 (order: 4, 65536 bytes, linear)
[    0.183885] pinctrl core: initialized pinctrl subsystem
[    0.184546] DMI not present or invalid.
[    0.184948] NET: Registered protocol family 16
[    0.190799] DMA: preallocated 1024 KiB pool for atomic allocations
[    0.191246] cpuidle: using governor menu
[    0.191483] hw-breakpoint: found 6 breakpoint and 4 watchpoint registers.
[    0.191716] Serial: AMBA PL011 UART driver
[    0.196256] bcm2835-mbox fe00b880.mailbox: mailbox enabled
[    0.204815] raspberrypi-firmware soc:firmware: Request 0x00000001 returned 
status 0x00000000
[    0.208830] raspberrypi-firmware soc:firmware: Request 0x00000003 returned 
status 0x00000000
[    0.212847] raspberrypi-firmware soc:firmware: Request 0x00030046 returned 
status 0x00000000
[    0.248045] bcm2835-dma fe007000.dma: DMA legacy API manager, dmachans=0x1
[    0.250971] vgaarb: loaded
[    0.251361] SCSI subsystem initialized
[    0.251557] usbcore: registered new interface driver usbfs
[    0.251607] usbcore: registered new interface driver hub
[    0.251723] usbcore: registered new device driver usb
[    0.252894] clocksource: Switched to clocksource arch_sys_counter
[    0.964153] VFS: Disk quotas dquot_6.6.0
[    0.964253] VFS: Dquot-cache hash table entries: 512 (order 0, 4096 bytes)
[    0.964413] FS-Cache: Loaded
[    0.964615] CacheFiles: Loaded
[    0.965377] simple-framebuffer: probe of 0.framebuffer failed with error -12
[    0.974944] thermal_sys: Registered thermal governor 'step_wise'
[    0.975255] NET: Registered protocol family 2
[    0.975988] tcp_listen_portaddr_hash hash table entries: 1024 (order: 2, 
16384 bytes, linear)
[    0.976050] TCP established hash table entries: 16384 (order: 5, 131072 
bytes, linear)
[    0.976237] TCP bind hash table entries: 16384 (order: 6, 262144 bytes, 
linear)
[    0.976579] TCP: Hash tables configured (established 16384 bind 16384)
[    0.976753] UDP hash table entries: 1024 (order: 3, 32768 bytes, linear)
[    0.976835] UDP-Lite hash table entries: 1024 (order: 3, 32768 bytes, linear)
[    0.977193] NET: Registered protocol family 1
[    0.977962] RPC: Registered named UNIX socket transport module.
[    0.977978] RPC: Registered udp transport module.
[    0.977990] RPC: Registered tcp transport module.
[    0.978002] RPC: Registered tcp NFSv4.1 backchannel transport module.
[    0.978023] PCI: CLS 0 bytes, default 64
[    0.979765] hw perfevents: enabled with armv8_cortex_a72 PMU driver, 7 
counters available
[    0.981558] Initialise system trusted keyrings
[    0.981846] workingset: timestamp_bits=46 max_order=19 bucket_order=0
[    0.990269] FS-Cache: Netfs 'nfs' registered for caching
[    0.990941] NFS: Registering the id_resolver key type
[    0.990973] Key type id_resolver registered
[    0.990985] Key type id_legacy registered
[    0.991008] nfs4filelayout_init: NFSv4 File Layout Driver Registering...
[    0.992163] Key type asymmetric registered
[    0.992179] Asymmetric key parser 'x509' registered
[    0.992222] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 
250)
[    0.992468] io scheduler mq-deadline registered
[    0.992484] io scheduler kyber registered
[    0.994648] raspberrypi-firmware soc:firmware: Request 0x00048020 returned 
status 0x00000000
[    0.994671] brcmvirt-gpio soc:virtgpio: Failed to set gpiovirtbuf, trying to 
get err:ffffffea
[    0.994729] raspberrypi-firmware soc:firmware: Request 0x00040010 returned 
status 0x00000000
[    0.994745] brcmvirt-gpio soc:virtgpio: Failed to get gpiovirtbuf
[    0.994773] brcmvirt-gpio: probe of soc:virtgpio failed with error -22
[    0.995140] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    0.995160] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 0 
config (-22 80)
[    0.995214] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    0.995232] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 1 
config (-22 81)
[    0.995284] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    0.995301] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 2 
config (-22 82)
[    0.995351] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    0.995368] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 3 
config (-22 83)
[    0.995417] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    0.995434] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 4 
config (-22 84)
[    0.995483] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    0.995500] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 5 
config (-22 85)
[    0.995549] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    0.995566] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 6 
config (-22 86)
[    0.995615] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    0.995632] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 7 
config (-22 87)
[    0.996515] brcm-pcie fd500000.pcie: host bridge /scb/pcie@7d500000 ranges:
[    0.996582] brcm-pcie fd500000.pcie:      MEM 0x0600000000..0x0603ffffff -> 
0x00f8000000
[    0.996642] brcm-pcie fd500000.pcie:   IB MEM 0x0000000000..0x007fffffff -> 
0x0000000000
[    1.044926] brcm-pcie fd500000.pcie: link up, 5 GT/s x1 (!SSC)
[    1.045225] brcm-pcie fd500000.pcie: PCI host bridge to bus 0000:00
[    1.045245] pci_bus 0000:00: root bus resource [bus 00-01]
[    1.045265] pci_bus 0000:00: root bus resource [mem 0x600000000-0x603ffffff] 
(bus address [0xf8000000-0xfbffffff])
[    1.045318] pci 0000:00:00.0: [14e4:2711] type 01 class 0x060400
[    1.045536] pci 0000:00:00.0: PME# supported from D0 D3hot
[    1.048342] pci 0000:00:00.0: bridge configuration invalid ([bus 00-00]), 
reconfiguring
[    1.048583] pci 0000:01:00.0: [1106:3483] type 00 class 0x0c0330
[    1.048721] pci 0000:01:00.0: reg 0x10: [mem 0x00000000-0x00000fff 64bit]
[    1.049188] pci 0000:01:00.0: PME# supported from D0 D3cold
[    1.051936] pci_bus 0000:01: busn_res: [bus 01] end is updated to 01
[    1.051974] pci 0000:00:00.0: BAR 8: assigned [mem 0x600000000-0x6000fffff]
[    1.051997] pci 0000:01:00.0: BAR 0: assigned [mem 0x600000000-0x600000fff 
64bit]
[    1.052075] pci 0000:00:00.0: PCI bridge to [bus 01]
[    1.052097] pci 0000:00:00.0:   bridge window [mem 0x600000000-0x6000fffff]
[    1.052198] pci 0000:00:00.0: enabling device (0000 -> 0002)
[    1.052256] pci 0000:01:00.0: enabling device (0000 -> 0002)
[    1.052365] raspberrypi-firmware soc:firmware: Request 0x00030058 returned 
status 0x00000000
[    1.054596] raspberrypi-firmware soc:firmware: Request 0x00030030 returned 
status 0x00000000
[    1.055246] Serial: 8250/16550 driver, 1 ports, IRQ sharing enabled
[    1.057893] vc-mem: phys_addr:0x00000000 mem_base=0x3ec00000 
mem_size:0x40000000(1024 MiB)
[    1.058616] gpiomem-bcm2835 fe200000.gpiomem: Initialised: Registers at 
0xfe200000
[    1.058973] cacheinfo: Unable to detect cache hierarchy for CPU 0
[    1.069539] brd: module loaded
[    1.081000] loop: module loaded
[    1.081932] Loading iSCSI transport class v2.0-870.
[    1.083663] libphy: Fixed MDIO Bus: probed
[    1.084191] bcmgenet fd580000.genet: failed to get enet clock
[    1.084212] bcmgenet fd580000.genet: GENET 5.0 EPHY: 0x0000
[    1.084233] bcmgenet fd580000.genet: failed to get enet-wol clock
[    1.084252] bcmgenet fd580000.genet: failed to get enet-eee clock
[    1.084278] bcmgenet: Skipping UMAC reset
[    1.092932] libphy: bcmgenet MII bus: probed
[    1.140998] unimac-mdio unimac-mdio.-19: Broadcom UniMAC MDIO bus
[    1.141893] usbcore: registered new interface driver r8152
[    1.141952] usbcore: registered new interface driver lan78xx
[    1.142012] usbcore: registered new interface driver smsc95xx
[    1.142567] xhci_hcd 0000:01:00.0: xHCI Host Controller
[    1.142599] xhci_hcd 0000:01:00.0: new USB bus registered, assigned bus 
number 1
[    1.143354] xhci_hcd 0000:01:00.0: hcc params 0x002841eb hci version 0x100 
quirks 0x0000001000000890
[    1.144513] usb usb1: New USB device found, idVendor=1d6b, idProduct=0002, 
bcdDevice= 5.04
[    1.144533] usb usb1: New USB device strings: Mfr=3, Product=2, 
SerialNumber=1
[    1.144549] usb usb1: Product: xHCI Host Controller
[    1.144564] usb usb1: Manufacturer: Linux 5.4.59 xhci-hcd
[    1.144579] usb usb1: SerialNumber: 0000:01:00.0
[    1.145178] hub 1-0:1.0: USB hub found
[    1.145269] hub 1-0:1.0: 1 port detected
[    1.145782] xhci_hcd 0000:01:00.0: xHCI Host Controller
[    1.145813] xhci_hcd 0000:01:00.0: new USB bus registered, assigned bus 
number 2
[    1.145838] xhci_hcd 0000:01:00.0: Host supports USB 3.0 SuperSpeed
[    1.146269] usb usb2: New USB device found, idVendor=1d6b, idProduct=0003, 
bcdDevice= 5.04
[    1.146287] usb usb2: New USB device strings: Mfr=3, Product=2, 
SerialNumber=1
[    1.146302] usb usb2: Product: xHCI Host Controller
[    1.146316] usb usb2: Manufacturer: Linux 5.4.59 xhci-hcd
[    1.146331] usb usb2: SerialNumber: 0000:01:00.0
[    1.146852] hub 2-0:1.0: USB hub found
[    1.146930] hub 2-0:1.0: 4 ports detected
[    1.148210] dwc_otg: version 3.00a 10-AUG-2012 (platform bus)
[    1.148984] usbcore: registered new interface driver uas
[    1.149077] usbcore: registered new interface driver usb-storage
[    1.149264] mousedev: PS/2 mouse device common for all mice
[    1.150542] bcm2835-wdt bcm2835-wdt: Broadcom BCM2835 watchdog timer
[    1.151424] sdhci: Secure Digital Host Controller Interface driver
[    1.151437] sdhci: Copyright(c) Pierre Ossman
[    1.151922] mmc-bcm2835 fe300000.mmcnr: could not get clk, deferring probe
[    1.152398] sdhci-pltfm: SDHCI platform and OF driver helper
[    1.154074] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    1.154096] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 2 
config (-22 82)
[    1.154172] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    1.154191] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 2 
config (-22 82)
[    1.154302] leds-gpio: probe of leds failed with error -22
[    1.154554] ledtrig-cpu: registered to indicate activity on CPUs
[    1.154635] hidraw: raw HID events driver (C) Jiri Kosina
[    1.154767] usbcore: registered new interface driver usbhid
[    1.154779] usbhid: USB HID core driver
[    1.155417] Initializing XFRM netlink socket
[    1.155452] NET: Registered protocol family 17
[    1.155565] Key type dns_resolver registered
[    1.156028] registered taskstats version 1
[    1.156051] Loading compiled-in X.509 certificates
[    1.159308] raspberrypi-firmware soc:firmware: Request 0x00030004 returned 
status 0x00000000
[    1.164797] uart-pl011 fe201000.serial: cts_event_workaround enabled
[    1.164928] fe201000.serial: ttyAMA0 at MMIO 0xfe201000 (irq = 19, base_baud 
= 0) is a PL011 rev2
[    1.165604] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    1.165627] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 6 
config (-22 86)
[    1.165686] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    1.165704] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 6 
config (-22 86)
[    1.165736] reg-fixed-voltage: probe of sd_vcc_reg failed with error -22
[    1.166234] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    1.166253] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 4 
config (-22 84)
[    1.166309] raspberrypi-firmware soc:firmware: Request 0x00030043 returned 
status 0x00000000
[    1.166327] raspberrypi-exp-gpio soc:firmware:gpio: Failed to get GPIO 4 
config (-22 84)
[    1.166355] gpio-regulator: probe of sd_io_1v8_reg failed with error -22
[    1.168082] printk: console [ttyS0] disabled
[    1.168149] fe215040.serial: ttyS0 at MMIO 0x0 (irq = 21, base_baud = 
62500001) is a 16550
[    2.636894] printk: console [ttyS0] enabled
[    2.642756] bcm2835-power bcm2835-power: Broadcom BCM2835 power domains 
driver
[    2.650901] mmc-bcm2835 fe300000.mmcnr: mmc_debug:0 mmc_debug2:0
[    2.657049] mmc-bcm2835 fe300000.mmcnr: DMA channel allocated
[    2.690818] of_cfs_init
[    2.693488] of_cfs_init: OK
[    2.697339] Waiting for root device /dev/mmcblk0p2...
[    2.707360] mmc1: queuing unknown CIS tuple 0x80 (2 bytes)
[    2.714591] mmc1: queuing unknown CIS tuple 0x80 (3 bytes)
[    2.721808] mmc1: queuing unknown CIS tuple 0x80 (3 bytes)
[    2.730324] mmc1: queuing unknown CIS tuple 0x80 (7 bytes)
[    2.737548] mmc1: queuing unknown CIS tuple 0x80 (3 bytes)
[    2.798471] random: fast init done
[    2.806788] mmc1: new high speed SDIO card at address 0001
[    2.872934] usb 1-1: new high-speed USB device number 2 using xhci_hcd
[    3.027525] usb 1-1: New USB device found, idVendor=2109, idProduct=3431, 
bcdDevice= 4.21
[    3.035860] usb 1-1: New USB device strings: Mfr=0, Product=1, SerialNumber=0
[    3.043126] usb 1-1: Product: USB2.0 Hub
[    3.048581] hub 1-1:1.0: USB hub found
[    3.052624] hub 1-1:1.0: 4 ports detected

Reply via email to