eager binding, libmachuser.so must not refer to any functions not defined
in libc.
memory_object_user \
memory_object_default \
exc mach4 \
+ default_pager default_pager_helper \
)\
$(addprefix device/,device device_request)
-server-interfaces := device/device_reply mach/exc mach/notify
+server-interfaces := mach/exc
tests := hello
# It is important that we do not use the wildcard function to expand
# `err_*.sub'. Leaving the wildcard allows Make-dist to find all matching