diff --git a/cfg/dpdk.cfg b/cfg/dpdk.cfg
new file mode 100644
index 000000000..32ef8bcad
--- /dev/null
+++ b/cfg/dpdk.cfg
@@ -0,0 +1,11 @@
+<?xml version="1.0"?>
+<def format="2">
+  <function name="rte_panic">
+    <noreturn>true</noreturn>
+    <formatstr/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <formatstr/>
+    </arg>
+  </function>
+</def>