CoreMark  Benchmark Scores

 Benchmark 1460
Broadcom BCM2835 (Raspberry Pi; 256MB)
Type of Platform Hardware/Production Silicon 
Processor Information 
Device Name and RevisionBroadcom BCM2835 (Raspberry Pi; 256MB)
Processor Operating Frequency [MHz]700
Number of Processor Cores1
Memory configurationStack
Link to Processor Data Sheet (PDF)raspberrypi.org
Software Environment 
Compiler Name and VersionGCC4.6.3
Compiler Flags-O2 -DPERFORMANCE_RUN=1
Operating System Name and VersionLinux raspberrypi 3.6.11-rpi-aufs #1 PREEMPT Sun Dec 30 22:31:28 CET 2012 armv6l GNU/Linux
Parallel Execution-
Source Code Port Files 
Benchmark Scores
CoreMark 1303.78 
CoreMark/MHz 1.86 
CoreMark/Core 1.86 

Uncertified Data & Result