Skip to main content

Raspberry Pi 4 Details

Corellium Atlas provides 2 board model(s) in the Raspberry Pi 4 family.

Raspberry Pi 4​

Board Image

  • Raspberry Pi 4 is generally available.
  • Supports RemoteIT with platformCode: 1217.
  • Support CoreTrace
  • Supports connecting with the GNU Project Debugger.

Raspberry Pi 4 Configuration​

  • Defaults to 4 cores.
  • Defaults to 4096 KB of ram.
  • Supports setting custom options before device boot.
  • Supports uploading a custom kernel.
  • Has default boot args "earlycon=uart8250,mmio32,0xfe215040 console=ttyS0,115200n8 rw rootwait root=/dev/mmcblk0p2 coherent_pool=1M 8250.nr_uarts=1 cma=64M".
  • Supports setting boot args.
  • Supports uploading a custom device tree.

Raspberry Pi 4 Storage​

  • It has 2 storage partitions:
    • nand
      • default size: 29.8 GB configurable between 29.8 GB and 59.61 GB with a step size of 512.0 KB which cannot be changed after device creation.
      • This partition is required in firmware .zip files.
      • This partition can be uploaded in advanced settings where it is called eMMC.
    • efiv
      • default size: 64.0 KB.
      • This partition is optional in firmware .zip files and will be filled with 0xff if not present.

Raspberry Pi 4 I/O​

  • It supports ssh with username: pi password: raspberry.
  • Supports camera input.
  • Support video file input.
  • Supports two interfaces on the LAN.
  • Supports vMMIO.
  • It has CoreModel interfaces for ports:
    • gpio: Protocol: gpio 54 addresses.

Raspberry Pi 4 (HD)​

Board Image

  • Raspberry Pi 4 (HD) is generally available.
  • Supports RemoteIT with platformCode: 1217.
  • Support CoreTrace
  • Supports connecting with the GNU Project Debugger.

Raspberry Pi 4 (HD) Configuration​

  • Defaults to 4 cores.
  • Defaults to 4096 KB of ram.
  • Supports setting custom options before device boot.
  • Supports uploading a custom kernel.
  • Has default boot args "earlycon=uart8250,mmio32,0xfe215040 console=ttyS0,115200n8 rw rootwait root=/dev/mmcblk0p2 coherent_pool=1M 8250.nr_uarts=1 cma=64M".
  • Supports setting boot args.
  • Supports uploading a custom device tree.

Raspberry Pi 4 (HD) Storage​

  • It has 2 storage partitions:
    • nand
      • default size: 29.8 GB configurable between 29.8 GB and 59.61 GB with a step size of 512.0 KB which cannot be changed after device creation.
      • This partition is required in firmware .zip files.
      • This partition can be uploaded in advanced settings where it is unlabelled.
    • efiv
      • default size: 64.0 KB.
      • This partition is optional in firmware .zip files and will be filled with 0xff if not present.

Raspberry Pi 4 (HD) I/O​

  • It supports ssh with username: pi password: raspberry.
  • Supports camera input.
  • Support video file input.
  • Supports two interfaces on the LAN.
  • Supports vMMIO.
  • It has CoreModel interfaces for ports:
    • gpio: Protocol: gpio 54 addresses.
    • uart2: Protocol: uart.
    • uart3: Protocol: uart.
    • uart4: Protocol: uart.
    • uart5: Protocol: uart.
    • i2c0: Protocol: i2c 128 addresses.
    • i2c3: Protocol: i2c 128 addresses.
    • i2c4: Protocol: i2c 128 addresses.
    • i2c5: Protocol: i2c 128 addresses.
    • i2c6: Protocol: i2c 128 addresses.
    • i2c1: Protocol: i2c 128 addresses.
    • i2c2: Protocol: i2c 128 addresses.
    • spi0: Protocol: spi.
    • spi1: Protocol: spi.
    • spi2: Protocol: spi.
    • spi3: Protocol: spi.
    • spi4: Protocol: spi.
    • xhci: Protocol: usbh 2 addresses.