ARMv7: Fix sbrk
#define SBRK_MIN_MAPPING (16 * LARGE_PAGE_SIZE)
#else // still huge, but slightly more achievable in a 32-bit address space!
#define SBRK_REGION_BYTES (64 * 1024 * BASE_PAGE_SIZE)
-#define SBRK_FLAGS (VREGION_FLAGS_READ_WRITE | VREGION_FLAGS_LARGE)
+#define SBRK_FLAGS (VREGION_FLAGS_READ_WRITE)
#define SBRK_MIN_MAPPING (2 * BASE_PAGE_SIZE)
#endif
@@ -38,7 +38,7 @@ void *sbrk(intptr_t increment)
if (!memobj) { // Initialize
err = vspace_map_anon_nomalloc(&base, &memobj_, &vregion_,
SBRK_REGION_BYTES, NULL,
- SBRK_FLAGS, SBRK_REGION_BYTES);
+ SBRK_FLAGS, 0);
if (err_is_fail(err)) {
DEBUG_ERR(err, "vspace_map_anon_nomalloc failed");
return (void *)-1;
