seL4Config: remove duplicated constants#547

midnightveil merged 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:callumb/improve_configau-ts/microkit:callumb/improve_configCopy head branch name to clipboard