--- Gnu-Mach/doc/mach.info	2020/09/02 04:51:23	1.1.1.3
+++ Gnu-Mach/doc/mach.info	2020/09/02 04:55:32	1.1.1.5
@@ -1,9 +1,9 @@
-This is mach.info, produced by makeinfo version 6.0 from mach.texi.
+This is mach.info, produced by makeinfo version 6.3 from mach.texi.
 
 This file documents the GNU Mach microkernel.
 
-   This is edition 0.4, last updated on 30 October 2015, of 'The GNU
-Mach Reference Manual', for version 1.6.
+   This is edition 0.4, last updated on 14 December 2016, of 'The GNU
+Mach Reference Manual', for version 1.8.
 
    Copyright (C) 2001, 2002, 2006, 2007, 2008 Free Software Foundation,
 Inc.
@@ -39,126 +39,126 @@ END-INFO-DIR-ENTRY
 
 
 Indirect:
-mach.info-1: 1629
-mach.info-2: 302528
+mach.info-1: 1630
+mach.info-2: 302732
 
 Tag Table:
 (Indirect)
-Node: Top1629
-Node: Introduction11256
-Node: Audience12087
-Node: Features13122
-Node: Overview14949
-Node: History16142
-Node: Installing16287
-Node: Binary Distributions17512
-Node: Compilation18320
-Node: Configuration19553
-Node: Cross-Compilation35964
-Node: Bootstrap36745
-Ref: Bootstrap-Footnote-137188
-Node: Bootloader37425
-Ref: Bootloader-Footnote-138705
-Node: Modules38791
-Node: Inter Process Communication39618
-Node: Major Concepts40241
-Node: Messaging Interface44046
-Node: Mach Message Call44776
-Node: Message Format48091
-Node: Exchanging Port Rights59283
-Ref: Exchanging Port Rights-Footnote-164845
-Node: Memory65017
-Ref: Memory-Footnote-168111
-Node: Message Send68453
-Ref: Message Send-Footnote-175475
-Node: Message Receive75758
-Ref: Message Receive-Footnote-185410
-Node: Atomicity85691
-Node: Port Manipulation Interface88465
-Node: Port Creation90020
-Node: Port Destruction94809
-Node: Port Names97952
-Node: Port Rights102199
-Node: Ports and other Tasks105988
-Node: Receive Rights110081
-Node: Port Sets117012
-Node: Request Notifications119415
-Node: Inherited Ports124219
-Node: Virtual Memory Interface127903
-Node: Memory Allocation129156
-Node: Memory Deallocation131681
-Node: Data Transfer133145
-Node: Memory Attributes136671
-Node: Mapping Memory Objects146110
-Node: Memory Statistics149419
-Node: External Memory Management150993
-Node: Memory Object Server151698
-Node: Memory Object Creation154407
-Node: Memory Object Termination158413
-Node: Memory Objects and Data161352
-Node: Memory Object Locking178498
-Node: Memory Object Attributes184393
-Node: Default Memory Manager190230
-Node: Threads and Tasks195952
-Node: Thread Interface196289
-Node: Thread Creation197285
-Node: Thread Termination198402
-Node: Thread Information198873
-Node: Thread Settings204972
-Node: Thread Execution206206
-Node: Scheduling213499
-Node: Thread Priority213854
-Node: Hand-Off Scheduling216488
-Node: Scheduling Policy221613
-Node: Thread Special Ports222945
-Node: Exceptions225391
-Node: Task Interface226261
-Node: Task Creation227273
-Node: Task Termination228608
-Node: Task Information229210
-Node: Task Execution236112
-Node: Task Special Ports240525
-Node: Syscall Emulation244379
-Node: Profiling245610
-Node: Host Interface249373
-Node: Host Ports250358
-Node: Host Information252431
-Node: Host Time257814
-Node: Host Reboot260481
-Node: Processors and Processor Sets261033
-Node: Processor Set Interface262011
-Node: Processor Set Ports262778
-Node: Processor Set Access263608
-Node: Processor Set Creation265868
-Node: Processor Set Destruction266895
-Node: Tasks and Threads on Sets267816
-Node: Processor Set Priority272983
-Node: Processor Set Policy274273
-Node: Processor Set Info275887
-Node: Processor Interface279700
-Node: Hosted Processors280425
-Node: Processor Control281416
-Node: Processors and Sets282882
-Node: Processor Info284760
-Node: Device Interface287502
-Node: Device Reply Server289117
-Node: Device Open290409
-Node: Device Close292532
-Node: Device Read293111
-Node: Device Write296030
-Node: Device Map298835
-Node: Device Status299726
-Node: Device Filter302528
-Node: Kernel Debugger308275
-Node: Operation309002
-Node: Commands311979
-Node: Variables325764
-Node: Expressions327152
-Node: Copying328501
-Node: Documentation License347730
-Node: GNU Free Documentation License348319
-Node: CMU License370718
-Node: Concept Index371953
-Node: Function and Data Index375799
+Node: Top1630
+Node: Introduction11258
+Node: Audience12089
+Node: Features13124
+Node: Overview14951
+Node: History16144
+Node: Installing16289
+Node: Binary Distributions17514
+Node: Compilation18322
+Node: Configuration19555
+Node: Cross-Compilation35966
+Node: Bootstrap36747
+Ref: Bootstrap-Footnote-137190
+Node: Bootloader37427
+Ref: Bootloader-Footnote-138707
+Node: Modules38793
+Node: Inter Process Communication39620
+Node: Major Concepts40243
+Node: Messaging Interface44048
+Node: Mach Message Call44778
+Node: Message Format48093
+Node: Exchanging Port Rights59285
+Ref: Exchanging Port Rights-Footnote-164847
+Node: Memory65019
+Ref: Memory-Footnote-168113
+Node: Message Send68455
+Ref: Message Send-Footnote-175477
+Node: Message Receive75760
+Ref: Message Receive-Footnote-185412
+Node: Atomicity85693
+Node: Port Manipulation Interface88467
+Node: Port Creation90022
+Node: Port Destruction94811
+Node: Port Names97954
+Node: Port Rights102201
+Node: Ports and other Tasks105990
+Node: Receive Rights110083
+Node: Port Sets117014
+Node: Request Notifications119417
+Node: Inherited Ports124221
+Node: Virtual Memory Interface127905
+Node: Memory Allocation129158
+Node: Memory Deallocation131683
+Node: Data Transfer133147
+Node: Memory Attributes136673
+Node: Mapping Memory Objects146003
+Node: Memory Statistics149295
+Node: External Memory Management150869
+Node: Memory Object Server151574
+Node: Memory Object Creation154255
+Node: Memory Object Termination158243
+Node: Memory Objects and Data161182
+Node: Memory Object Locking175087
+Node: Memory Object Attributes180951
+Node: Default Memory Manager184726
+Node: Threads and Tasks190408
+Node: Thread Interface190745
+Node: Thread Creation191741
+Node: Thread Termination192858
+Node: Thread Information193329
+Node: Thread Settings199428
+Node: Thread Execution200662
+Node: Scheduling207955
+Node: Thread Priority208310
+Node: Hand-Off Scheduling210944
+Node: Scheduling Policy216069
+Node: Thread Special Ports217401
+Node: Exceptions219847
+Node: Task Interface220717
+Node: Task Creation221729
+Node: Task Termination223064
+Node: Task Information223666
+Node: Task Execution230568
+Node: Task Special Ports234981
+Node: Syscall Emulation238835
+Node: Profiling240066
+Node: Host Interface243829
+Node: Host Ports244814
+Node: Host Information246887
+Node: Host Time252270
+Node: Host Reboot254937
+Node: Processors and Processor Sets255489
+Node: Processor Set Interface256467
+Node: Processor Set Ports257234
+Node: Processor Set Access258064
+Node: Processor Set Creation260324
+Node: Processor Set Destruction261351
+Node: Tasks and Threads on Sets262272
+Node: Processor Set Priority267439
+Node: Processor Set Policy268729
+Node: Processor Set Info270343
+Node: Processor Interface274156
+Node: Hosted Processors274881
+Node: Processor Control275872
+Node: Processors and Sets277338
+Node: Processor Info279216
+Node: Device Interface281958
+Node: Device Reply Server283573
+Node: Device Open284865
+Node: Device Close286988
+Node: Device Read287567
+Node: Device Write290486
+Node: Device Map293291
+Node: Device Status294182
+Node: Device Filter295355
+Node: Kernel Debugger302732
+Node: Operation303459
+Node: Commands306436
+Node: Variables320221
+Node: Expressions321609
+Node: Copying322958
+Node: Documentation License342187
+Node: GNU Free Documentation License342776
+Node: CMU License365175
+Node: Concept Index366410
+Node: Function and Data Index370256
 
 End Tag Table