Online Linux Driver Verification Service (alpha)

Start Verification   Verification History   Rules
Verification Report
Driver: bcm.tar.gz
Timestamp: 2012-10-25 21:01:42
Verification architecture: x86_64
You can see verification verdict for each rule and linux kernel. Verdict may be:
  • Safe - there is no mistakes for the given linux kernel and rule.
  • Unsafe - driver may contain an error. You can see the error trace by clicking on the "Unsafe" link for the corresponding linux kernel and rule.
  • Build failed - your driver is not compatible with the given linux kernel. In this case you may see the compile error trace by clicking on the "more details" link.
  • Unknown - tools can not determine whether your driver Safe or Unsafe.
  • Queued - the driver waits for the turn to verification.

linux-3.0 - build failed  (more details...)
linux-2.6.37 - build failed  (more details...)
linux-2.6.32.12 - build failed  (more details...)