wash de520cdd2d libmango: types: add macro to define a kern_msg_handle_t

2026-03-10 19:08:49 +00:00

..

status.h

kernel: re-implement sending handles via port messages

2026-03-01 19:10:01 +00:00

syscall.h

kernel: remove support for sending kernel handles via port/channel

2026-02-26 20:53:47 +00:00

types.h

libmango: types: add macro to define a kern_msg_handle_t

2026-03-10 19:08:49 +00:00