* configuration parameters, etc..)
*/
+#ifdef MARTE_OS
+#include <sys/marte_configuration_parameters.h>
+#if MARTE_ARCHITECTURE == ARCH_X86
+
#include <drivers/if_ether.h>
#include <drivers/eth_ioctl.h>
#include <fcntl.h>
int fosa_get_cpu_resource_id(fosa_resource_id_t *cpu_id)
{
+
+
int err, fd;
struct ether_addr mac, mac_tmp;
char mac_str[18];
return 0;
}
+
+#endif // ARCH_X86
+#endif // MARTE_OS