--- Gnu-Mach/doc/mach.info	2020/09/02 04:46:44	1.1
+++ Gnu-Mach/doc/mach.info	2020/09/02 04:49:14	1.1.1.2
@@ -1,9 +1,9 @@
-This is mach.info, produced by makeinfo version 5.1 from mach.texi.
+This is mach.info, produced by makeinfo version 5.2 from mach.texi.
 
 This file documents the GNU Mach microkernel.
 
-   This is edition 0.4, last updated on 27 September 2013, of 'The GNU
-Mach Reference Manual', for version 1.4.
+   This is edition 0.4, last updated on 10 April 2015, of 'The GNU Mach
+Reference Manual', for version 1.5.
 
    Copyright (C) 2001, 2002, 2006, 2007, 2008 Free Software Foundation,
 Inc.
@@ -39,125 +39,126 @@ END-INFO-DIR-ENTRY
 
 
 Indirect:
-mach.info-1: 1631
-mach.info-2: 304236
+mach.info-1: 1627
+mach.info-2: 302502
 
 Tag Table:
 (Indirect)
-Node: Top1631
-Node: Introduction11181
-Node: Audience12012
-Node: Features13047
-Node: Overview14874
-Node: History16067
-Node: Installing16212
-Node: Binary Distributions17437
-Node: Compilation18245
-Node: Configuration19478
-Node: Cross-Compilation35889
-Node: Bootstrap36670
-Ref: Bootstrap-Footnote-137113
-Node: Bootloader37350
-Ref: Bootloader-Footnote-138630
-Node: Modules38716
-Node: Inter Process Communication39543
-Node: Major Concepts40166
-Node: Messaging Interface43971
-Node: Mach Message Call44701
-Node: Message Format48016
-Node: Exchanging Port Rights58499
-Ref: Exchanging Port Rights-Footnote-164061
-Node: Memory64233
-Ref: Memory-Footnote-167327
-Node: Message Send67669
-Ref: Message Send-Footnote-174691
-Node: Message Receive74974
-Ref: Message Receive-Footnote-183612
-Node: Atomicity83893
-Node: Port Manipulation Interface86667
-Node: Port Creation88143
-Node: Port Destruction92932
-Node: Port Names96075
-Node: Port Rights100322
-Node: Ports and other Tasks104111
-Node: Receive Rights108204
-Node: Port Sets113383
-Node: Request Notifications115786
-Node: Virtual Memory Interface120566
-Node: Memory Allocation121819
-Node: Memory Deallocation124344
-Node: Data Transfer125808
-Node: Memory Attributes129334
-Node: Mapping Memory Objects138753
-Node: Memory Statistics142045
-Node: External Memory Management143619
-Node: Memory Object Server144324
-Node: Memory Object Creation147033
-Node: Memory Object Termination151039
-Node: Memory Objects and Data153978
-Node: Memory Object Locking171124
-Node: Memory Object Attributes177019
-Node: Default Memory Manager182856
-Node: Threads and Tasks188578
-Node: Thread Interface188915
-Node: Thread Creation189911
-Node: Thread Termination191028
-Node: Thread Information191499
-Node: Thread Settings197598
-Node: Thread Execution198832
-Node: Scheduling206125
-Node: Thread Priority206480
-Node: Hand-Off Scheduling209114
-Node: Scheduling Policy214239
-Node: Thread Special Ports215571
-Node: Exceptions218017
-Node: Task Interface218887
-Node: Task Creation219899
-Node: Task Termination221234
-Node: Task Information221836
-Node: Task Execution228367
-Node: Task Special Ports232780
-Node: Syscall Emulation236634
-Node: Profiling237865
-Node: Host Interface241628
-Node: Host Ports242613
-Node: Host Information244686
-Node: Host Time250069
-Node: Host Reboot252736
-Node: Processors and Processor Sets253288
-Node: Processor Set Interface254266
-Node: Processor Set Ports255033
-Node: Processor Set Access255863
-Node: Processor Set Creation258123
-Node: Processor Set Destruction259150
-Node: Tasks and Threads on Sets260071
-Node: Processor Set Priority265238
-Node: Processor Set Policy266528
-Node: Processor Set Info268142
-Node: Processor Interface271955
-Node: Hosted Processors272680
-Node: Processor Control273671
-Node: Processors and Sets275137
-Node: Processor Info277015
-Node: Device Interface279757
-Node: Device Reply Server281372
-Node: Device Open282664
-Node: Device Close284787
-Node: Device Read285366
-Node: Device Write288285
-Node: Device Map291090
-Node: Device Status291981
-Node: Device Filter293154
-Node: Kernel Debugger298901
-Node: Operation299628
-Node: Commands304236
-Node: Variables317950
-Node: Expressions319338
-Node: Copying320687
-Node: Documentation License339914
-Node: GNU Free Documentation License340503
-Node: CMU License362901
-Node: Concept Index364136
-Node: Function and Data Index367982
+Node: Top1627
+Node: Introduction11252
+Node: Audience12083
+Node: Features13118
+Node: Overview14945
+Node: History16138
+Node: Installing16283
+Node: Binary Distributions17508
+Node: Compilation18316
+Node: Configuration19549
+Node: Cross-Compilation35960
+Node: Bootstrap36741
+Ref: Bootstrap-Footnote-137184
+Node: Bootloader37421
+Ref: Bootloader-Footnote-138701
+Node: Modules38787
+Node: Inter Process Communication39614
+Node: Major Concepts40237
+Node: Messaging Interface44042
+Node: Mach Message Call44772
+Node: Message Format48087
+Node: Exchanging Port Rights59279
+Ref: Exchanging Port Rights-Footnote-164841
+Node: Memory65013
+Ref: Memory-Footnote-168107
+Node: Message Send68449
+Ref: Message Send-Footnote-175471
+Node: Message Receive75754
+Ref: Message Receive-Footnote-185406
+Node: Atomicity85687
+Node: Port Manipulation Interface88461
+Node: Port Creation90016
+Node: Port Destruction94805
+Node: Port Names97948
+Node: Port Rights102195
+Node: Ports and other Tasks105984
+Node: Receive Rights110077
+Node: Port Sets117008
+Node: Request Notifications119411
+Node: Inherited Ports124215
+Node: Virtual Memory Interface127899
+Node: Memory Allocation129152
+Node: Memory Deallocation131677
+Node: Data Transfer133141
+Node: Memory Attributes136667
+Node: Mapping Memory Objects146086
+Node: Memory Statistics149395
+Node: External Memory Management150969
+Node: Memory Object Server151674
+Node: Memory Object Creation154383
+Node: Memory Object Termination158389
+Node: Memory Objects and Data161328
+Node: Memory Object Locking178474
+Node: Memory Object Attributes184369
+Node: Default Memory Manager190206
+Node: Threads and Tasks195928
+Node: Thread Interface196265
+Node: Thread Creation197261
+Node: Thread Termination198378
+Node: Thread Information198849
+Node: Thread Settings204948
+Node: Thread Execution206182
+Node: Scheduling213475
+Node: Thread Priority213830
+Node: Hand-Off Scheduling216464
+Node: Scheduling Policy221589
+Node: Thread Special Ports222921
+Node: Exceptions225367
+Node: Task Interface226237
+Node: Task Creation227249
+Node: Task Termination228584
+Node: Task Information229186
+Node: Task Execution236088
+Node: Task Special Ports240501
+Node: Syscall Emulation244355
+Node: Profiling245586
+Node: Host Interface249349
+Node: Host Ports250334
+Node: Host Information252407
+Node: Host Time257790
+Node: Host Reboot260457
+Node: Processors and Processor Sets261009
+Node: Processor Set Interface261987
+Node: Processor Set Ports262754
+Node: Processor Set Access263584
+Node: Processor Set Creation265844
+Node: Processor Set Destruction266871
+Node: Tasks and Threads on Sets267792
+Node: Processor Set Priority272959
+Node: Processor Set Policy274249
+Node: Processor Set Info275863
+Node: Processor Interface279676
+Node: Hosted Processors280401
+Node: Processor Control281392
+Node: Processors and Sets282858
+Node: Processor Info284736
+Node: Device Interface287478
+Node: Device Reply Server289093
+Node: Device Open290385
+Node: Device Close292508
+Node: Device Read293087
+Node: Device Write296006
+Node: Device Map298811
+Node: Device Status299702
+Node: Device Filter302502
+Node: Kernel Debugger308249
+Node: Operation308976
+Node: Commands311953
+Node: Variables325738
+Node: Expressions327126
+Node: Copying328475
+Node: Documentation License347704
+Node: GNU Free Documentation License348293
+Node: CMU License370692
+Node: Concept Index371927
+Node: Function and Data Index375773
 
 End Tag Table