Module resources 

(SysR) Resources related syscalls and operations such as destroying resources, duplicating them, etc

Functions

destroy_resource

Destroys “closes” a resource with the id ri, a resource can be a File, Directory, DirIter, etc…

dup

Duplicates the resource referred to by the resource id ri and returns the new resource id

sysr_destroy

Destroys “closes” a resource with the id ri, a resource can be a File, a Directory, a DirIter, etc…

sysr_dup

Duplicates the resource referred to by the resource id ri and puts the new resource id in dest_ri