#ifndef __CAPABILITY_H__
#define __CAPABILITY_H__
+// All the capabilities
+extern Capability *capabilities;
+
// Initialised the available capabilities.
//
extern void initCapabilities( void );
//
extern void threadRunnable ( void );
+// Return the capability that I own.
+//
+extern Capability *myCapability (void);
+
extern void prodWorker ( void );
#ifdef RTS_SUPPORTS_THREADS