diff --git a/libshims/libduml_hal.so b/libshims/libduml_hal.so new file mode 100755 index 0000000..7f1c37b Binary files /dev/null and b/libshims/libduml_hal.so differ