* Copyright 2007 Sun Microsystems, Inc. All rights reserved.
* Use is subject to license terms.
* The machine description files are derived from machine description
* binaries in OpenSPARC T2 legion simulation directory.
#include "xilinx_t1_system_config.h"
content-version = 0x100000000;
stick-frequency = T1_FPGA_STICK_FREQ;
hvuart = T1_FPGA_UART_BASE;
stick-frequency = T1_FPGA_STICK_FREQ;
node ldc_endpoints ldc_endpoints {
mdpa = T1_FPGA_GUEST_MD_ADDR;
nvbase = T1_FPGA_NVRAM_ADDR;
nvsize = T1_FPGA_NVRAM_SIZE;
diskpa = T1_FPGA_RAM_DISK_ADDR;
node virtual_devices virtual_devices {
node channel_devices channel_devices {
membase = T1_FPGA_GUEST_MEMBASE;
memsize = T1_FPGA_GUEST_MEMSIZE;
realbase = T1_FPGA_GUEST_REALBASE;
node ldc_endpoint ldc_endpoint {
server_ldom_name = "domain0";
node ldc_endpoint ldc_endpoint_1 {
server_ldom_name = "domain0";
client_ldom_name = "domain0";
node ldc_endpoint ldc_endpoint_2 {
server_ldom_name = "domain0";
node ldc_endpoint ldc_endpoint_3 {
server_ldom_name = "domain0";
client_ldom_name = "domain0";
node frag_space frag_space {
node frag_mblock frag_mblock {
uartbase = T1_FPGA_UART_BASE;
snet_ino = T1_FPGA_SNET_INO;
snet_pa = T1_FPGA_SNET_BASE;