Of course, you need to have the SystemC system libraries installed. Make sure you have them from your EDA Vendor, or as open source from Accellera
A virtual platform captures your hardware in an executable program, which you can debug. The virtual platform is capable of loading exactly the same software that you will eventually run on your hardware.

You can, for instance, put a breakpoint in your model and your device driver, you will then be able to step through the hardware and the software as the device driver writes to the device, and the device code responds to the software access.
This platform contains the following SystemC models:

Only a simple binary test case is provided, but you will be able to connect GDB to the GDB stub interface and debug the running kernel and device drivers, you will also be able to run the platform under GDB, putting breakpoints in your model code.
You can, for instance, put a breakpoint in your model and your device driver, you will then be able to step through the hardware and the software as the device driver writes to the device, and the device code responds to the software access.
This platform contains the following SystemC models:

This platform provides a complete Intel i7 based platform with a TLM-2.0 PCIE interface for you to add your own components. You will be able to boot Linux, and interact with the system via the serial interfaces as supported by QEMU. You will be able to connect GDB to the GDB stub interface and debug the running kernel and device drivers, you will also be able to run the platform under GDB, putting breakpoints in your SystemC model code.
You can, for instance, put a breakpoint in your model and your device driver, you will then be able to step through the hardware and the software as the device driver writes to the device, and the device code responds to the software access.
This platform includes a simple 'example' SystemC device to get you going, which demonstrates how to write SystemC TLM-2.0 models, support PCIe, interact with files, generate interrupts etc.
Once you have it working - please get in touch so we can help you with the next step.
If you have a platform, but you need to add a SystemC CPU model, you will need our open source solution : QBox. Based on QEMU, QBox provides a full SystemC TLM-2.0 compatible CPU model for a wide variety of architectures. QBox allows the powerful JIT based CPU simulations to be exploited within a TLM-2.0 context, such that it can, for instance be instantiated without TLM models in a SystemC simulation environment.
If you don't find the right variety of model, or need other components, please email us.
If you are writing SystemC models, but would like to be able to write them faster, easier and with greater re-use, please check out GreenLib, our open-source powerful model productivity library. GreenLib includes components for: