1using sysbus 2mach create "synchronization_test" 3 4include $ORIGIN/MockPeripheralWithExecuteInLock.cs 5machine LoadPlatformDescription $ORIGIN/synchronization.repl 6 7sysbus LogPeripheralAccess writer_systemc true 8sysbus LogPeripheralAccess test true 9sysbus.writer_systemc SystemCExecutablePath $ORIGIN/../bin/synchronization 10 11