search

seL4 / projects_libs

Other
6 stars 20 forks source link

libusbdrivers: fix inverted error check #13

Closed sledgehammervampire closed 2 years ago

sledgehammervampire commented 2 years ago

I believe that ps_calloc returns an error code which is 0 on success, since the pointer to the allocation is instead returned by an out parameter.

Signed-off-by: Kevin Tran z5164322@unsw.edu.au

lsf37 commented 2 years ago

Hey @1000teslas, can you please use a contactable email address for the sign-off? (preferably UNSW if the work is done there)

sledgehammervampire commented 2 years ago

@lsf37 done.