resources: Improve gem5_bridge building and insertion

Author: nkrim

src/x86-ubuntu/files/gem5_init.sh

@@ -16,8 +16,7 @@ cmdline=$(cat /proc/cmdline)
 no_systemd=false
 
 # Load gem5_bridge driver
-depmod --quick
-modprobe gem5_bridge
+modprobe gem5_bridge || insmod /lib/modules/$(uname -r)/gem5/gem5_bridge.ko
 
 # gem5-bridge exit signifying that kernel is booted
 # This will cause the simulation to exit. Note that this will

src/x86-ubuntu/scripts/post-installation.sh

@@ -58,9 +58,10 @@ cp build/x86/out/m5 /usr/local/bin/
 cp build/x86/out/libm5.a /usr/local/lib/
 popd
 
-# Build and insert the gem5_bridge driver
+# Build and insert the gem5-bridge driver
 pushd util/gem5_bridge
 make build install
+depmod --quick
 popd
 popd