L4Re/departure (shortlog)

L4Re/departure

Shortlog

2023-03-28	Paul Boddie	files	Work around region mapper issues when detaching and attaching dataspaces.
2023-03-28	Paul Boddie	files	Updated the file opening test.
2023-03-28	Paul Boddie	files	Make the pagers loop forever when encountering an exception.
2023-03-26	Paul Boddie	files	Removed the deallocation of dataspace capabilities from the internal pager since
2023-03-26	Paul Boddie	files	Propagate errors when failing to detach dataspaces.
2023-03-26	Paul Boddie	files	Removed the indicated notifier from unsubscribe operations since it cannot be
2023-03-26	Paul Boddie	files	Restored the intuitive ordering of unsubscribing and closing.
2023-03-26	Paul Boddie	files	Added a reference to the L4Re code describing the interface.
2023-03-25	Paul Boddie	files	Added initial support for detaching regions. Without this, it is likely that
2023-03-24	Paul Boddie	files	Sought to prevent a race condition when deleting pipe paging coordinators.
2023-03-24	Paul Boddie	files	Changed the process monitoring architecture, separating monitoring of the actual
2023-03-23	Paul Boddie	files	Made the notify operation one-way, meaning that it does not produce a reply.
2023-03-22	Paul Boddie	files	Permit re-entry, needed when subscribing to receive deferred notifications.
2023-03-22	Paul Boddie	files	Obtain the task-level notifier at the start, closing it at the end of the test.
2023-03-22	Paul Boddie	files	Introduced support for stopping a notifier.
2023-03-22	Paul Boddie	files	Separated auto-deletion from general notifications related to IPC.
2023-03-22	Paul Boddie	files	Record all server details to permit their deallocation.
2023-03-22	Paul Boddie	files	Obtain the task-level notifier only one, closing it at the end of the test.
2023-03-22	Paul Boddie	files	Introduced a separate library for the resource and resource server abstractions.
2023-03-21	Paul Boddie	files	Changed notifier support to use resources instead of its own IPC handler.
2023-03-21	Paul Boddie	files	Introduced a new method to start a resource in an existing thread, also
2023-03-20	Paul Boddie	files	Removed superfluous interfaces and includes.
2023-03-20	Paul Boddie	files	Moved notifier support into its own library.
2023-03-20	Paul Boddie	files	Changed IPC message handling to interpret gate labels as generic endpoint	ipc-config-endpoints
2023-03-20	Paul Boddie	files	Added a separate prepare operation distinct from starting any server.
2023-03-20	Paul Boddie	files	Reordered pager capability freeing to avoid warnings about invalid pagers.
2023-03-19	Paul Boddie	files	Moved opening of the region mapper program file to the process server
2023-03-19	Paul Boddie	files	Close the principal file structure after having constructed the program payload.
2023-03-19	Paul Boddie	files	Made a separate test payload and program for file-related testing.
2023-03-19	Paul Boddie	files	Made the process creation activity sequential and introduced a missing reset
2023-03-19	Paul Boddie	files	Added missing include statements and introduced an explicit verbose mode.
2023-03-19	Paul Boddie	files	Employ a more general way of including programs in the generated filesystem.
2023-03-18	Paul Boddie	files	Fixed unwanted mapped region growth due to adjustment of region boundaries.
2023-03-18	Paul Boddie	files	Fixed file member initialisation.
2023-03-17	Paul Boddie	files	Added debugging support to show a name for each server in jdb.
2023-03-17	Paul Boddie	files	Added a remark about file structure deallocation.
2023-03-16	Paul Boddie	files	On MIPS32, at least, in a payload started by libexec, the main thread is not
2023-03-15	Paul Boddie	files	Fixed memchr invocation when searching for the end of line.
2023-03-15	Paul Boddie	files	Introduced support for reserve_area in the internal pager along with different
2023-03-14	Paul Boddie	files	Fixed the first free UTCB address and thus pthread initialisation.
2023-03-13	Paul Boddie	files	Expanded the execution test payload to test filesystem access.
2023-03-10	Paul Boddie	files	Made use of a utility function for binding the IRQ to a thread.
2023-03-10	Paul Boddie	files	Provide the filesystem capability to the new process.
2023-03-10	Paul Boddie	files	Augmented comment with more details.
2023-03-10	Paul Boddie	files	Removed redundant interface generation definitions.
2023-03-09	Paul Boddie	files	Attempt to handle local capabilities in messages sent within tasks.
2023-03-07	Paul Boddie	files	Introduced naming conventions for server capabilities.
2023-03-07	Paul Boddie	files	Changed the internal pager capability name to avoid potential conflicts.
2023-03-07	Paul Boddie	files	Moved program file opening to the general process creation functionality.
2023-03-06	Paul Boddie	files	Introduced deallocation of pager/region mapper resources.
2023-03-06	Paul Boddie	files	Renamed variables to be more obviously informative.
2023-03-06	Paul Boddie	files	Introduced freeing of imported capabilities that cannot be attached.
2023-03-06	Paul Boddie	files	Propagated the created task's own capability details to the pager so that it may
2023-03-06	Paul Boddie	files	Added a convenience function for unmapping capabilities from tasks.
2023-03-06	Paul Boddie	files	Propagate capability details for the pager and threads in the new task back to
2023-03-04	Paul Boddie	files	Added close method and resource deallocation.
2023-03-04	Paul Boddie	files	Added comment.
2023-03-04	Paul Boddie	files	Fixed region mapper initialisation array sizes to correspond to the program
2023-03-04	Paul Boddie	files	Allocate payload and stack resources dynamically to permit control over when
2023-03-04	Paul Boddie	files	Fixed deletion of segments when payloads are deallocated.