1 #include <stdio.h>
2 #include <sys/sysctl.h>
3 #include <string.h>
4
5 int
main(int argc,char * argv[])6 main(int argc, char *argv[])
7 {
8 char conclave_id[256];
9 size_t conclave_id_size = 256;
10 printf("Doing Sysctl for getting conclave name\n");
11 int ret = sysctlbyname("kern.task_conclave", conclave_id, &conclave_id_size, NULL, 0);
12 if (ret != 0) {
13 printf("sysctlbyname for kern.task_conclave returned %d \n", ret);
14 return 2;
15 }
16
17 if (strncmp(argv[1], conclave_id, 256) == 0) {
18 printf("Spawned with correct conclave id %s\n", conclave_id);
19 return 0;
20 }
21
22 printf("Expected conclave id %s but spawned with %s\n", argv[1], conclave_id);
23 return 1;
24 }
25