Hall
Hall handles the outside facing network connection. It boots as a diskless CPU server. It runs the web server, but the files are stored elsewhere and are just cached on Hall. It also run an outside facing auth server, and allows for outside rcpu/drawterm connections.
Plan 9
HPET: fed00000 8086a701 24 MHz
124 holes free
0x00021000 0x00058000 225280
0x00059000 0x0005f000 24576
0x00100000 0x00110000 65536
0x00605000 0x7ffff000 2141167616
2141483008 bytes free
pcirouting: ignoring south bridge PCI.0.31.0 8086/A146
cpu0: 3193MHz GenuineIntel P6 (AX 000506E3 CX 77FAFBFF DX BFEBFBFF)
LAPIC: fee00000 0xfffffe80fee00000
ELCR: 0000
cpu0: lapic clock at 24MHz
cpu1: 3193MHz GenuineIntel P6 (AX 000506E3 CX 77FAFBFF DX BFEBFBFF)
cpu2: 3193MHz GenuineIntel P6 (AX 000506E3 CX 77FAFBFF DX BFEBFBFF)
cpu3: 3193MHz GenuineIntel P6 (AX 000506E3 CX 77FAFBFF DX BFEBFBFF)
pcienable PCI.3.0.0: pcr 100->103
#l0: i82571: 1000Mbps port 0xF70A0000 irq 7 ea 6805ca22ce06
pcienable PCI.3.0.1: pcr 100->103
#l1: i82571: 1000Mbps port 0xF7040000 irq 10 ea 6805ca22ce07
#l2: i219: bad eeprom checksum - 0x13ba; ignored
#l2: i219: 1000Mbps port 0xF7280000 irq 11 ea 1866da1ec662
#S/sdE: ich: sata-II with 4 ports
#A0: hda mem f72c8000 irq 5
#A0: codec #0, vendor 10ec0255, rev 00100002
#A0: codec #2, vendor 80862809, rev 00100000
usbxhci: 0x8086 0xa12f: port f72b0000 size 65536 irq 7
7784M memory: 2048M kernel data, 5736M user, 6986M swap
pc64.bootfs: Sat Apr 26 23:58:02 GMT 2025
fingerprint: 95b7ee518a54e09a3cac66ec8151ce470f1966ef
#l0: i82571: phy1 oui 0xaa00
#l1: i82571: phy1 oui 0xaa00
#l1: i82571: link up: 1000Mbps
#l2: i219: phy2 oui 0x5500
sdE1: LBA 0 sectors
HL-DT-ST DVD+/-RW GU90N A1C1 M1OG63I0036 [newdrive]
#l2: i219: link up: 1000Mbps
mknet1
post...
2 keys read in AES format
srv usr
mount usr
vendor GenuineIntel
procmodel 000506e3 / 06100800
typefammod 0 06 056 3
features fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat
features pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe
features pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 fma cx16 xtpr pdcm pcid sse4_1
features sse4_2 x2apic movbe popcnt tscdeadline aes xsave osxsave avx f16c rdrnd
features fsgsbase sgx bmi1 hle avx2 smep bmi2 erms invpcid rtm mpx rdseed adx sm ap clflushopt intelpt
features xsaveopt xsavec xgetbv1 xsaves
extmodel 00000000 / 00000000
extfeatures syscall nx pg1g tscp lm
extfeatures ahf64 lzcnt 3dnow!p
procname Intel(R) Core(TM) i5-6500 CPU @ 3.20GHz
physbits 39
virtbits 48
0.0.0: brg 06.00.00 8086/191f 0
Intel Corporation Xeon E3-1200 v5/E3-1500 v5/6th Gen Core Processor Host Bridge/DRAM Registers
0.1.0: brg 06.04.00 8086/1901 7
Intel Corporation 6th-10th Gen Core Processor PCIe Controller (x16)
0.2.0: vid 03.00.00 8086/1912 7 0:f6000004 16777216 2:e000000c 268435456 4:0000f001 64
Intel Corporation HD Graphics 530
0.20.0: usb 0c.03.30 8086/a12f 7 0:f72b0004 65536
Intel Corporation 100 Series/C230 Series Chipset Family USB 3.0 xHCI Controller
0.20.2: sigl 11.80.00 8086/a131 5 0:f72d4004 4096
Intel Corporation 100 Series/C230 Series Chipset Family Thermal Subsystem
0.22.0: ser 07.80.00 8086/a13a 7 0:f72d3004 4096
Intel Corporation 100 Series/C230 Series Chipset Family MEI Controller #1
0.22.3: ser 07.00.02 8086/a13d 11 0:0000f0a1 8 1:f72d2000 4096
Intel Corporation 100 Series/C230 Series Chipset Family KT Redirection
0.23.0: disk 01.04.00 8086/2822 10 0:f72c0000 32768 1:f72d1000 256 2:0000f091 8 3:0000f081 4 4:0000f061 32 5:f7200000 524288
Intel Corporation SATA Controller [RAID mode]
0.28.0: brg 06.04.00 8086/a115 10
Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #6
0.29.0: brg 06.04.00 8086/a118 7
Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #9
0.31.0: brg 06.01.00 8086/a146 0
Intel Corporation Q170 Chipset LPC/eSPI Controller
0.31.2: mem 05.80.00 8086/a121 0
Intel Corporation 100 Series/C230 Series Chipset Family Power Management Controller
0.31.3: aud 04.03.00 8086/a170 5 0:f72c8004 16384 4:f72a0004 65536
Intel Corporation 100 Series/C230 Series Chipset Family HD Audio Controller
0.31.4: smb 0c.05.00 8086/a123 5 0:f72d0004 256 4:0000f041 32
Intel Corporation 100 Series/C230 Series Chipset Family SMBus
0.31.6: net 02.00.00 8086/15b8 11 0:f7280000 131072
Intel Corporation Ethernet Connection (2) I219-V
2.0.0: --- ff.00.00 10ec/525a 7
Realtek Semiconductor Co., Ltd. RTS525A PCI Express Card Reader
3.0.0: net 02.00.00 8086/105e 7 0:f70a0000 131072 1:f7080000 131072 2:0000e021 32
Intel Corporation 82571EB/82571GB Gigabit Ethernet Controller D0/D1 (copper applications)
3.0.1: net 02.00.00 8086/105e 10 0:f7040000 131072 1:f7020000 131072 2:0000e001 32
Intel Corporation 82571EB/82571GB Gigabit Ethernet Controller D0/D1 (copper applications)