00001 00002 #include "static_cfg.h" 00003 00004 00005 static l4io_desc_device_t 00006 tpm_tis = { "TPM TIS", 1, { { L4IO_RESOURCE_MEM, 0xfed40000, 0xfed44fff } } }; 00007 00008 register_device_group("x86", &tpm_tis);