cinap_lenrek be7f3fb5e4 rename pcf kernel to pc, remove pcf, pccpuf, pccpu64 kernels, update documentation ... there isnt much of a point in keep maintaining separate kernel configurations for terminal and cpu kernels as the role can be switched with service=cpu boot parameter. to make stuff cosistent, we will just have one "pc" kernel and one "pc64" kernel configuration now.		2017-09-10 22:35:23 +02:00
..
1	vt: block selection mode for snarf	2017-08-20 22:18:09 +02:00
2	print(2): clean up vlong flag description	2017-07-02 19:12:50 +01:00
3	vmx(3): document changes to devvmx interface	2017-09-10 03:12:00 +02:00
4	rename pcf kernel to pc, remove pcf, pccpuf, pccpu64 kernels, update documentation	2017-09-10 22:35:23 +02:00
5
6	authsrv(6): don't say old p9any isnt in use anymore...	2017-06-18 22:21:46 +02:00
7
8	rename pcf kernel to pc, remove pcf, pccpuf, pccpu64 kernels, update documentation	2017-09-10 22:35:23 +02:00
fonts
index.html
mkfile
preface.html
preface3.html
preface4.html