search

FreeBSDFoundation / freebsd

FreeBSD source tree for FreeBSD Foundation-sponsored projects
https://www.freebsdfoundation.org/
Other
9 stars 3 forks source link

Arm64 dev robin #1

Closed raw-bin closed 9 years ago

raw-bin commented 9 years ago

Hi Andrew.

Here are a set of miscellaneous patches, some of which are improvements to the ones I sent you by mail before I jumped to github.

For the PSCI driver, I've acted on your initial comments, save a couple that I could not get my head around (e.g. I cannot get around needing to mention psci in options.arm64 - config complains that it doesn't know about psci otherwise).

Anyway, please have a look.

Thanks.

raw-bin commented 9 years ago

3 of the 5 commits have already been pulled.

I'll close the pull request, rework my branch with new commits addressing the remaining bits using the comments provided and send out a fresh pull request.