j
k
j a
j l
Hello Micro kernel develper
I’m MK. Nice to meet u. I’ll research and commit ARMv8 and virtualization in Sel4
你好。谢谢。 반갑습니다 Thank you
BR, MK
Sent from my iPhone
Show replies by thread
devel@sel4.systems
Add to favorites Remove from favorites