--- Gnu-Mach/doc/mach.info	2020/09/02 04:49:14	1.1.1.2
+++ Gnu-Mach/doc/mach.info	2020/09/02 04:51:23	1.1.1.3
@@ -1,9 +1,9 @@
-This is mach.info, produced by makeinfo version 5.2 from mach.texi.
+This is mach.info, produced by makeinfo version 6.0 from mach.texi.
 
 This file documents the GNU Mach microkernel.
 
-   This is edition 0.4, last updated on 10 April 2015, of 'The GNU Mach
-Reference Manual', for version 1.5.
+   This is edition 0.4, last updated on 30 October 2015, of 'The GNU
+Mach Reference Manual', for version 1.6.
 
    Copyright (C) 2001, 2002, 2006, 2007, 2008 Free Software Foundation,
 Inc.
@@ -39,126 +39,126 @@ END-INFO-DIR-ENTRY
 
 
 Indirect:
-mach.info-1: 1627
-mach.info-2: 302502
+mach.info-1: 1629
+mach.info-2: 302528
 
 Tag Table:
 (Indirect)
-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
+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
 
 End Tag Table