Summary
Shortlog
Changelog
Graph
Tags
Bookmarks
Branches
Files
Help
Search
L4Re/departure
Shortlog
(0)
-300
-100
-60
+60
+100
+300
tip
2022-09-15
Paul Boddie
files
Use L4_EACCESS for errors corresponding to the traditional EACCES condition.
2022-09-15
Paul Boddie
files
Added missing return statement.
2022-09-14
Paul Boddie
files
Fixed incoming message initialisation: no receive flexpages are to be expected.
2022-09-14
Paul Boddie
files
Fixed client_tell return type.
2022-09-13
Paul Boddie
files
Fixed ambiguity around 64-bit types; introduced a distinct map address type.
2022-09-13
Paul Boddie
files
Introduced handling of zero increment arguments.
2022-09-13
Paul Boddie
files
Exclude architecture-specific output.
2022-09-03
Paul Boddie
files
Adjusted various output statements.
2022-09-02
Paul Boddie
files
Added list of ignored paths.
2022-09-02
Paul Boddie
files
Fixed file and entry names.
2022-09-01
Paul Boddie
files
Merged concurrent changes.
2022-08-10
Paul Boddie
files
Adopted the name "Departure" and renamed various programs. The "dstest" naming
2022-09-01
Paul Boddie
files
Added an error member to the file data structure, changing the client library
2022-09-01
Paul Boddie
files
Added section headings and a section about a possible L4Re problem.
2022-08-19
Paul Boddie
files
Fixed deferred notifications for already-allocated endpoints.
2022-08-18
Paul Boddie
files
Added some comments regarding flags_t values.
2022-08-18
Paul Boddie
files
Adjusted the documentation, adding an overview diagram on the front page.
2022-08-12
Paul Boddie
files
Expanded the documentation, also changing various stylistic conventions.
2022-08-12
Paul Boddie
files
Added an example configuration file for L4Re.
2022-08-12
Paul Boddie
files
Renamed the main page to Departure and changed the page naming convention.
2022-08-10
Paul Boddie
files
Adopted the name "Departure" and renamed various programs. The "dstest" naming
2022-08-10
Paul Boddie
files
Merged the mmap-region-flags branch into the default branch.
2022-06-30
Paul Boddie
files
Added a page describing program loading techniques.
mmap-region-flags
2022-06-30
Paul Boddie
files
Added missing structure members.
mmap-region-flags
2022-06-30
Paul Boddie
files
Adjusted interface syntax.
mmap-region-flags
2022-06-28
Paul Boddie
files
Added documentation of file closure, removal and notification mechanisms.
mmap-region-flags
2022-06-27
Paul Boddie
files
Added a test of file removal semantics.
mmap-region-flags
2022-06-27
Paul Boddie
files
Make sure that the accessor is closed when a provider is closed, thus flushing
mmap-region-flags
2022-06-26
Paul Boddie
files
Added unsubscribe operations when closing pagers to release notifiers.
mmap-region-flags
2022-06-26
Paul Boddie
files
Adjusted method docstring.
mmap-region-flags
2022-06-25
Paul Boddie
files
Introduced a dedicated page for server library details, expanding the filesystem
mmap-region-flags
2022-06-23
Paul Boddie
files
Expanded the paging concurrency diagram.
mmap-region-flags
2022-06-22
Paul Boddie
files
Added headings, some more explanation, and moved the concurrency diagram.
mmap-region-flags
2022-06-22
Paul Boddie
files
Added some more paging details, adjusted component-related diagrams slightly.
mmap-region-flags
2022-06-19
Paul Boddie
files
Restored the flexpage output parameter, requiring an updated idl program to
mmap-region-flags
2022-06-18
Paul Boddie
files
Acquire any IRQ label dynamically instead of at the start of the IPC mainloop
mmap-region-flags
2022-06-18
Paul Boddie
files
Attempted to define the system details manually.
mmap-region-flags
2022-06-18
Paul Boddie
files
Added missing requirement.
mmap-region-flags
2022-06-17
Paul Boddie
files
Introduced a region mapper thread alongside the actual program to be run in a
mmap-region-flags
2022-06-17
Paul Boddie
files
Simplified the dependency rules slightly.
mmap-region-flags
2022-06-17
Paul Boddie
files
Page-align the "hot spot" for compatibility with the receive size calculation.
mmap-region-flags
2022-06-17
Paul Boddie
files
Added a dataspace member for debugging purposes.
mmap-region-flags
2022-06-17
Paul Boddie
files
Added some remarks about discarding capabilities when propagating them.
mmap-region-flags
2022-06-17
Paul Boddie
files
Introduced support for omitting optional flexpage results from messages. This is
mmap-region-flags
2022-06-13
Paul Boddie
files
Fixed capability index allocation, introducing control over such allocation in
mmap-region-flags
2022-06-13
Paul Boddie
files
Moved pager initiation into a function.
mmap-region-flags
2022-06-13
Paul Boddie
files
Fixed access to the regions to be employed by the region mapper.
mmap-region-flags
2022-06-12
Paul Boddie
files
Added a region mapper program.
mmap-region-flags
2022-06-12
Paul Boddie
files
Introduced distinct internal and external pager implementations.
mmap-region-flags
2022-06-12
Paul Boddie
files
Added support for more stack information. Introduced control over attaching
mmap-region-flags
2022-06-12
Paul Boddie
files
Introduced a common region structure and l4re_aux_t structure location function.
mmap-region-flags
2022-06-12
Paul Boddie
files
Changed ipc_new_dataspace signature, also allocating its own capability.
mmap-region-flags
2022-06-12
Paul Boddie
files
Merged changes from the default branch.
mmap-region-flags
2022-06-12
Paul Boddie
files
Attempted to fix host program compilation.
2022-06-12
Paul Boddie
files
Reintroduced PagerObject code generation required to initiate servers.
mmap-region-flags
2022-06-12
Paul Boddie
files
Renamed Mechanisms to FilesystemAccess, added Directories and Paging.
mmap-region-flags
2022-06-11
Paul Boddie
files
Attempted to fix the effect of building the programs on the directory timestamp,
mmap-region-flags
2022-06-07
Paul Boddie
files
Introduced file_mmap_only which does not map a memory region in the task.
mmap-region-flags
2022-06-07
Paul Boddie
files
Renamed get_payload and introduced payload deallocation upon error.
mmap-region-flags
2022-06-06
Paul Boddie
files
Moved the system pager implementation to libexec for further work.
mmap-region-flags
(0)
-300
-100
-60
+60
+100
+300
tip