>perhaps this would be better in /dev/cons/cpuid ? doppio% ls '#P' '#P/archctl' '#P/cputype' '#P/ioalloc' '#P/iob' '#P/iol' '#P/iow' '#P/irqalloc' '#P/realmode' '#P/realmodemem'
doppio% cat '#P/cputype' AMD64 1802 doppio% cat '#P/archctl' cpu AMD64 1802 pge pge on coherence mb586 cmpswap cmpswap486 i8253set on