Subject: Re: /usr/include/machine
To: None <firstname.lastname@example.org>
From: Izumi Tsutsui <email@example.com>
Date: 07/16/2001 00:22:55
In article <firstname.lastname@example.org>
> >It could be fixed by changing INCSDIR to /usr/include/machine, but
> >arm32_drain_writebuf.c and arm32_icache.c under lib/libarch/arm32
> >include machine/sysarch.h so they cannot be compiled.
> Since arm26 doesn't have sysarch.h, the right solution is to move the
> arm32 sysarch.h to arm and install it. arm26 will need to have a
> dummy sysarch(2) syscall but since there are part of the arm ABI it
> should have them anyway.
If you know the correct fix, please don't leave sources broken, and
please confirm your changes *at least* compile before committing.
> >Anyway, how many people know the current status of these changes?
> >Is there any discussion _before_ these changes were done?
> On this list.
Sorry, I cannot find it before your changes.
Would you please point to archives?
> >IMHO, if machine/param.h can be shared,
> >these ports did not have to be split.
> Only those things that user programs needs to have defined are
> being in defined in the common param.h
I agree with you in this point.
Then, would you please show your whole plan for these changes?