From mboxrd@z Thu Jan  1 00:00:00 1970
To: 9fans@cse.psu.edu
Subject: Re: [9fans] how small can you get
From: anothy@cosym.net
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 8bit
Message-Id: <20020208161928.635DA19A3F@mail.cse.psu.edu>
Date: Fri,  8 Feb 2002 11:19:17 -0500
Topicbox-Message-UUID: 4f0c7944-eaca-11e9-9e20-41e7f4b1d025

256KB is tight, but i bet it's doable, if your bootloader understands
gzip, as 9load does. i just did this:
	:; size 9tiny
	360495t + 153284d + 36356b = 550135	9tiny
	:; strip < 9tiny > 9teeny
	:; ls -l 9tiny 9teeny 9teeny.gz
	--rw-rw-r-- M 4 anothy sys 513811 Feb  8 06:15 9teeny
	--rwxrwxr-x M 4 anothy sys 683136 Feb  8 06:14 9tiny
	--rw-rw-r-- M 4 anothy sys 229755 Feb  8 06:15 9teeny.gz
i just did the tiny config file in a minute; i bet more could be taken
out if some care were applied. i've appended below what i had, for
refference. pretty close to what i think you're asking for.
ア

---/sys/src/cmd/pc/tiny---
dev
	root
	cons
	arch
	env
	pipe
	proc
	mnt
	srv
	dup
	rtc
	ssl

	ether	netif
	ip	arp chandial ip ipaux iproute netlog nullmedium pktmedium ptclbsum386 inferno

	sd
	ns16552


link
	ether82557	pci
	ethermedium

misc
	archmp		mp apic

	ipconfig.root

	sdata		pci sdscsi

ip
	tcp
	udp
	ipifc
	icmp

port
	int cpuserver = 0;

boot boot #S/sdC0/
	local
	tcp