Raspberry Pi 4 and T2/Linux

Pi 4

The Raspberry Pi 4 is a powerful, credit-card-sized single-board computer featuring a 1.5–1.8GHz quad-core 64-bit ARM Cortex-A72 CPU, up to 8GB of LPDDR4 RAM, true Gigabit Ethernet, dual-band Wi-Fi 5, Bluetooth 5.0, dual-display support via micro-HDMI at up to 4K resolution, USB 3.0, and USB-C power.

Notes

Only basic platform support is available in the vanilla upstream linux kernel.

/proc/cpuinfo

processor : 0
BogoMIPS : 108.00
Features : fp asimd evtstrm crc32 cpuid
CPU implementer : 0x41
CPU architecture: 8
CPU variant : 0x0
CPU part : 0xd08
CPU revision : 3
...
processor : 3
BogoMIPS : 108.00
Features : fp asimd evtstrm crc32 cpuid
CPU implementer : 0x41
CPU architecture: 8
CPU variant : 0x0
CPU part : 0xd08
CPU revision : 3

lspci

00:00.0 PCI bridge: Broadcom Inc. and subsidiaries BCM2711 PCIe Bridge (rev 10)
01:00.0 USB controller: VIA Technologies, Inc. VL805/806 xHCI USB 3.0 Controller (rev 01)

lsusb

Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 002 Device 001: ID 1d6b:0002 Linux Foundation 3.0 root hub