| Name | Last Change | Versions |
|---|---|---|
| Book:Core | 5.48 years | 15 |
| Book:Drivers:Audio | 6.12 years | 4 |
| Book:Main | 5.70 years | 20 |
| Book:Media | 5.44 years | 1 |
| Book:Network | 6.35 years | 1 |
| Book:Nitpicker | 5.34 years | 6 |
| Book:Storage | 4.18 years | 73 |
| Book:Storage:VfsBuiltIns | 4.18 years | 3 |
| Book:Support | 5.77 years | 4 |
| Book:Support:Launch | 5.95 years | 4 |
| Book:Tips | 4.53 years | 23 |
| Genodians:Main | 6.41 years | 1 |
| the (unofficial) 'Genode Book' | 5.77 years | 14 |
| Tutorial:Main | 6.41 years | 3 |