diff options
author | cinap_lenrek <cinap_lenrek@felloff.net> | 2017-09-10 22:35:23 +0200 |
---|---|---|
committer | cinap_lenrek <cinap_lenrek@felloff.net> | 2017-09-10 22:35:23 +0200 |
commit | be7f3fb5e44b3f282a26fa7c6dd50a08677ae069 (patch) | |
tree | 4b5a60eccf40827d6a615abdae1178efe7efb944 /sys/src/libregexp/rregexec.c | |
parent | 9af11534511370520f3fa03224ac5d367a97908d (diff) |
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.
Diffstat (limited to 'sys/src/libregexp/rregexec.c')
0 files changed, 0 insertions, 0 deletions