Searched +path:impl +path:libs +path:librefos (Results 1 - 25 of 46) sorted by relevance

12

/seL4-refos-master/projects/refos/impl/libs/librefos/
H A DKbuild
H A DKconfig
H A DMakefile
H A DLICENSE_BSD2.txt
/seL4-refos-master/projects/refos/impl/libs/librefos/interface/
H A Ddata_interface.xml
H A Dname_interface.xml
H A Dproc_interface.xml
H A Dserv_interface.xml
/seL4-refos-master/projects/refos/impl/libs/librefos/src/
H A Derror.c
H A Dshare.c
H A Dsync.c
H A Dtest.c
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos/
H A Derror.h
H A Drefos.h
H A Dshare.h
H A Dsync.h
H A Dtest.h
H A Dvmlayout.h
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Ddata_client_helper.h
H A Dname_client_helper.h
H A Dproc_client_helper.h
H A Dproc_common.h
H A Drpc.h
H A Dserv_client_helper.h
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Dcspace.h

Completed in 44 milliseconds

12