# tiny kernel used to install from floppy.# has minimal vga drivers, no usb support and only some ether drivers,# and in general no frills. probably only useful in quite old systems.dev root cons arch pnp pci bios32 env pipe proc mnt srv dup rtc# ssl# tls cap# kprof ether netif cec ip arp chandial ip ipv6 ipaux iproute netlog nullmedium pktmedium ptclbsum386 inferno draw screen vga vgax swcursor mouse mouse vga# kbmap sd sdalloc floppy dma# lpt pccard i82365 cis uart# usb# kbin link realmode devpccard devi82365# apm apmjump ether2000 ether8390 ether2114x pci ether589 etherelnk3 ether79c970 pci ether8003 ether8390 ether8139 pci ether8169 pci ethermii ether82563 pci ether82557 pci ether83815 pci# etherdp83820 pci etherec2t ether8390 etherelnk3 pci# has vast firmware# etherga620 pci etherigbe pci ethermii ethervgbe pci ethermii ethervt6102 pci ethermii# ethervt6105m pci ethermii etheryuk pci# ethersink ethersmc devi82365 cis etherwavelan wavelan devi82365 cis pci ethermedium# etherm10g# ether82598 pci# pcmciamodem netdevmedium loopbackmedium# usbuhci# usbohci# usbehci usbehcipc# sse misc alloc physalloc noswap xalloc # archmp mp nomp mpacpi apic msi sdide pci sdscsi# sd53c8xx pci sdscsi# sdmylex pci sdscsi sdiahci pci sdscsi led# sdmv50xx pci sdscsi# sdodin pci sdscsi led uarti8250 uartp8250# uartpci pci uartp8250 vga3dfx +cur vgaark2000pv +cur vgabt485 =cur vgaclgd542x +cur vgaclgd546x +cur vgact65545 +cur vgacyber938x +cur vgaet4000 +cur vgahiqvideo +cur vgai81x +cur vgamach64xx +cur vgamga2164w +cur vgamga4xx +cur vganeomagic +cur vganvidia +cur vgargb524 =cur vgas3 +cur vgasavage vgat2r4 +cur vgatvp3020 =cur vgatvp3026 =cur vgavesa vgavmware +cur ip il tcp udp ipifc icmp icmp6 port int cpuserver = 0; boot glenda boot #f/fd0disk local bootdir bootpcflop.out boot /sys/lib/dist/bin/386/bzfs kfs /sys/lib/dist/pc/root.bz2 bzroot# /386/bin/usb/usbd
# tiny kernel used to install from floppy.
# has minimal vga drivers, no usb support and only some ether drivers,
# and in general no frills. probably only useful in quite old systems.
dev
root
cons
arch
pnp pci bios32
env
pipe
proc
mnt
srv
dup
rtc
# ssl
# tls
cap
# kprof
ether netif
cec
ip arp chandial ip ipv6 ipaux iproute netlog nullmedium pktmedium ptclbsum386 inferno
draw screen vga vgax swcursor
mouse mouse
vga
# kbmap
sd sdalloc
floppy dma
# lpt
pccard
i82365 cis
uart
# usb
# kbin
link
realmode
devpccard
devi82365
# apm apmjump
ether2000 ether8390
ether2114x pci
ether589 etherelnk3
ether79c970 pci
ether8003 ether8390
ether8139 pci
ether8169 pci ethermii
ether82563 pci
ether82557 pci
ether83815 pci
# etherdp83820 pci
etherec2t ether8390
etherelnk3 pci
# has vast firmware
# etherga620 pci
etherigbe pci ethermii
ethervgbe pci ethermii
ethervt6102 pci ethermii
# ethervt6105m pci ethermii
etheryuk pci
# ethersink
ethersmc devi82365 cis
etherwavelan wavelan devi82365 cis pci
ethermedium
# etherm10g
# ether82598 pci
# pcmciamodem
netdevmedium
loopbackmedium
# usbuhci
# usbohci
# usbehci usbehcipc
# sse
misc
alloc
physalloc
noswap
xalloc
# archmp mp nomp mpacpi apic msi
sdide pci sdscsi
# sd53c8xx pci sdscsi
# sdmylex pci sdscsi
sdiahci pci sdscsi led
# sdmv50xx pci sdscsi
# sdodin pci sdscsi led
uarti8250 uartp8250
# uartpci pci uartp8250
vga3dfx +cur
vgaark2000pv +cur
vgabt485 =cur
vgaclgd542x +cur
vgaclgd546x +cur
vgact65545 +cur
vgacyber938x +cur
vgaet4000 +cur
vgahiqvideo +cur
vgai81x +cur
vgamach64xx +cur
vgamga2164w +cur
vgamga4xx +cur
vganeomagic +cur
vganvidia +cur
vgargb524 =cur
vgas3 +cur vgasavage
vgat2r4 +cur
vgatvp3020 =cur
vgatvp3026 =cur
vgavesa
vgavmware +cur
ip
il
tcp
udp
ipifc
icmp
icmp6
port
int cpuserver = 0;
boot glenda boot #f/fd0disk
local
bootdir
bootpcflop.out boot
/sys/lib/dist/bin/386/bzfs kfs
/sys/lib/dist/pc/root.bz2 bzroot
# /386/bin/usb/usbd