search

cl91 / NeptuneOS

Neptune OS: A Windows NT personality for the seL4 microkernel
GNU General Public License v3.0
374 stars 11 forks source link

Note the llvm package is also required #7

Closed pinaraf closed 2 years ago

pinaraf commented 2 years ago

Without this package, llvm-rc is not available on Debian or Arch systems and CMake fails with a No CMAKE_RC_COMPILER could be found error.

cl91 commented 2 years ago

Thank you! Merged.