Assertion: kernel's code | /r/HasProperty | written
Facets:
Source sentences:
text: The following code should be written to and saved in a file named boot.asm.