-
- Downloads
Merge pull request #113 in SEL4/sel4 from ~ADANIS/sel4:autoconf to master
* commit '3c9f304a': x86: Update autoconf.h for standalone kernel builds
Loading
Please register or sign in to comment
* commit '3c9f304a': x86: Update autoconf.h for standalone kernel builds