diff -urN -X dontdiff linux/fs/proc/proc_misc.c linux-2.3.25-pre1-execdomains/fs/proc/proc_misc.c
--- linux/fs/proc/proc_misc.c   Fri Oct 29 11:26:27 1999
+++ linux-2.3.25-pre1-execdomains/fs/proc/proc_misc.c   Fri Oct 29 10:33:51 1999
@@ -57,7 +57,8 @@
extern int get_device_list(char *);
extern int get_partition_list(char *);
extern int get_filesystem_list(char *);
-extern int get_filesystem_info( char * );
+extern int get_filesystem_info(char *);
+extern int get_exec_domain_list(char *);
extern int get_irq_list(char *);
extern int get_dma_list(char *);
extern int get_rtc_status (char *);
@@ -496,6 +497,18 @@
       return len;
}

+static int execdomains_read_proc(char *page, char **start, off_t off,
+                                int count, int *eof, void *data)
+{
+       int len = get_exec_domain_list(page);
+       if (len <= off+count) *eof = 1;
+       *start = page + off;
+       len -= off;
+       if (len>count) len = count;
+       if (len<0) len = 0;
+       return len;
+}
+
static int swaps_read_proc(char *page, char **start, off_t off,
                                int count, int *eof, void *data)
{
@@ -591,6 +604,7 @@
               {"swaps",       swaps_read_proc},
               {"slabinfo",    slabinfo_read_proc},
               {"iomem",       memory_read_proc},
+               {"execdomains", execdomains_read_proc},
               {NULL,NULL}
       };
       for(p=simple_ones;p->name;p++)
diff -urN -X dontdiff linux/kernel/exec_domain.c linux-2.3.25-pre1-execdomains/kernel/exec_domain.c
--- linux/kernel/exec_domain.c  Sat Sep  4 21:06:08 1999
+++ linux-2.3.25-pre1-execdomains/kernel/exec_domain.c  Fri Oct 29 10:37:43 1999
@@ -125,3 +125,15 @@
       unlock_kernel();
       return ret;
}
+
+int get_exec_domain_list(char * page)
+{
+       int len = 0;
+       struct exec_domain * e;
+
+       for (e=exec_domains; e && len < PAGE_SIZE - 80; e=e->next)
+               len += sprintf(page+len, "%d-%d\t%-16s\t[%s]\n",
+                       e->pers_low, e->pers_high, e->name,
+                       e->module ? e->module->name : "kernel");
+       return len;
+}