| http://www.w3.org/ns/prov#value | - The problem is a shell by itself is not very useful, and by the time you add init scripts, device management, something to configure the network, etc. you are up to 100MB or more (and still not a really useful system) -- A very stripped down Desktop Linux is still usually over a gig.
|
