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 date
devel@sel4.systems
Add to favorites Remove from favorites