Technically, at minimum we only assert that imp::alloc_pages returns a block of memory that is word-aligned, but it makes sense to me to keep it "page"-aligned as that is the granularity of allocation in the backend (this might be a system without virtual memory, so "page" is maybe a misnomer).
This should help with #85
@ZackPierce or @DrGoldfire could you take a look at this?
Technically, at minimum we only assert that
imp::alloc_pagesreturns a block of memory that is word-aligned, but it makes sense to me to keep it "page"-aligned as that is the granularity of allocation in the backend (this might be a system without virtual memory, so "page" is maybe a misnomer).This should help with #85
@ZackPierce or @DrGoldfire could you take a look at this?
+cc @nand-nor