Skip to main content

Corstone-1000 Details

Corellium Atlas provides 1 board model(s) in the Corstone-1000 family.

Corstone-1000​

Board Image

  • Corstone-1000 is generally available.
  • Supports connecting with the GNU Project Debugger.

Corstone-1000 Configuration​

  • Defaults to 6 cores.
  • Defaults to 3072 KB of ram.
  • Supports setting custom options before device boot.
  • Supports uploading a custom kernel.
  • Has default boot args "console=ttyLP0,115200 earlycon= root=/dev/mmcblk0p2".
  • Supports setting boot args.

Corstone-1000 Storage​

  • It has 5 storage partitions:
    • flash
      • default size: 32.0 MB.
      • This partition is optional in firmware .zip files and will be filled with 0xff if not present.
      • This partition can be uploaded in advanced settings where it is called Flash.
    • seflash
      • default size: 8.0 MB.
      • This partition is optional in firmware .zip files and will be filled with 0xff if not present.
      • This partition can be uploaded in advanced settings where it is called SE Flash.
    • sdcard0
      • default size: 16.0 GB.
      • This partition is required in firmware .zip files.
      • This partition can be uploaded in advanced settings where it is called SD Card 0.
    • sdcard
      • default size: 16.0 GB.
      • This partition is required in firmware .zip files.
      • This partition can be uploaded in advanced settings where it is called SD Card 1.
    • efiv
      • default size: 64.0 KB.
      • This partition is optional in firmware .zip files and will be filled with 0xff if not present.

Corstone-1000 I/O​

  • It supports ssh with username: cassini password: .
  • Supports vMMIO.
  • It has CoreModel interfaces for ports:
    • uart0: Protocol: uart.
    • uart1: Protocol: uart.
  • It has 2 serial ports available via dropdown named:
    • uart0-cons named AP Console of type console.
    • uart1-cons named SE Console of type console.