Thomas E. Spanjaard wrote:

> I suggest secmodel/secmodel_bsd44.c as is common practice (like e.g.
> kern/kern_*).

That means we'll have to use files with names like
secmodel_<model>_foo.c which is starting to get ugly.

-e.

-- 
Elad Efrat