/*
 * process.h
 *
 *  Created on: 28.5.2013
 *      Author: jiri.dobry
 */

#ifndef PROCESS_H_
#define PROCESS_H_

struct PDB
{
  uint32_t state; // 1 = running
  uint32_t stackPointer;  // offset 4
};


#endif /* PROCESS_H_ */
