changed names: portal_enable_interrupts -> portalEnableInterrupts, DmaManager_alloc -> portalAlloc, DmaManager_mmap -> portalMmap
change directory_xxx to portalXxx function names
replaced sequences of "pthread_create(... portalExec ...)' with calls to portalExec_start()