;; Platform-specific hooks


.macro PLATFORM_HOOK_LOAD
	;; XXX disabled for now - the current file opening API is not
	;;     really suitable for easy usage from Kernal
	;; jsr u64_load
.macend