Assertion: kernel | /r/CapableOf | run on arm-based machines
Facets:
Source sentences:
text: As a proof of concept that a high performance microkernel could also be constructed in a higher level language, the group developed L4Ka::Hazelnut, a C++ version of the kernel that ran on IA-32- and ARM-based machines.