search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
68 stars 37 forks source link

Add bzero #113

Closed wom-bat closed 3 months ago

wom-bat commented 3 months ago

Use the compiler builtin if we can. This will work for GCC and CLANG; we usually build with GCC

Ivan-Velickovic commented 3 months ago

Wrong repo I think.