luigi f6c6028862 Enable building of picobsd using CURRENT sources again.
Following a suggestion by Ruslan, the initial creation of the
includes and libraries (and build tools) is now done by
invoking "make buildworld" (with -DPICOBSD which eventually will
limit the amount of stuff built with a 2-line change in Makefile.inc1).
The correct environment is then used for subsequent builds.

Also remove write_mfs_in_kernel.c in favour of using dd

All the above is conditional on __FreeBSD_version, as the previous
method still worked for versions earlier than 500035, and I am
unsure on how the "new" method works for earlier versions.

Finally, note that the crunch.conf files need some work because
some libraries (e.g. gmd) have gone away from the base installation.
2002-07-14 09:07:13 +00:00
..
2002-04-19 12:39:09 +00:00
2002-05-11 06:06:11 +00:00
2001-06-01 12:06:06 +00:00
2002-04-19 12:39:09 +00:00
2002-05-11 06:06:11 +00:00
2002-05-11 06:06:11 +00:00
2002-05-11 06:06:11 +00:00

<html>
<body>
<h1><b><center>           PicoBSD Development Kit      </center></b></h1>

<p>All documentation, instructions, list of supported hardware and FAQ are
in doc/ directory. If they are missing, go to the doc/src/ subdirectory and
do a 'make'. The docs are marked with HTML tags, but we try to keep
them readable even without a browser.

<p>Please start from <A HREF="doc/intro.html">here</a> for general
description of the project and its features, or just go directly
<A HREF="doc/how2build.html">here</a> for detailed instructions on how to
build your version of PicoBSD.

<p>Enjoy!</p>

<! $FreeBSD$ >
</body>
</html>