https://github.com/Liblor/advanced_operating_systems_2020/pull/24/files/2f92c83651fb2f4eb66175803a4ef48844852c28#r394357705 We would need some data on how many pages are going to be mapped in barrelfish
