{"action":"created","issue":{"url":"https://api.github.com/repos/OP-TEE/optee_os/issues/2559","repository_url":"https://api.github.com/repos/OP-TEE/optee_os","labels_url":"https://api.github.com/repos/OP-TEE/optee_os/issues/2559/labels{/name}","comments_url":"https://api.github.com/repos/OP-TEE/optee_os/issues/2559/comments","events_url":"https://api.github.com/repos/OP-TEE/optee_os/issues/2559/events","html_url":"https://github.com/OP-TEE/optee_os/issues/2559","id":364376205,"node_id":"MDU6SXNzdWUzNjQzNzYyMDU=","number":2559,"title":"Changing Linux Config Parameter","user":{"login":"Christian56","id":4200522,"node_id":"MDQ6VXNlcjQyMDA1MjI=","avatar_url":"https://avatars0.githubusercontent.com/u/4200522?v=4","gravatar_id":"","url":"https://api.github.com/users/Christian56","html_url":"https://github.com/Christian56","followers_url":"https://api.github.com/users/Christian56/followers","following_url":"https://api.github.com/users/Christian56/following{/other_user}","gists_url":"https://api.github.com/users/Christian56/gists{/gist_id}","starred_url":"https://api.github.com/users/Christian56/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Christian56/subscriptions","organizations_url":"https://api.github.com/users/Christian56/orgs","repos_url":"https://api.github.com/users/Christian56/repos","events_url":"https://api.github.com/users/Christian56/events{/privacy}","received_events_url":"https://api.github.com/users/Christian56/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2018-09-27T09:10:31Z","updated_at":"2018-09-28T11:09:16Z","closed_at":null,"author_association":"NONE","body":"Hi, \r\nI'm trying to add config parameters to the .config file. I tried to add these Parameter to \r\n/build/kconfigs/rpi3.conf and /linux/arch/arm64/configs/bcmrpi3_defconfig. However when i compile the system these Parameters are not in the config file. \r\nWhen I use the make linux-defconfig command i get the following output: \r\n\r\n```\r\nValue requested for CONFIG_IMA not in final .config \r\nRequested value:  CONFIG_IMA=y \r\nActual value:     \r\n```\r\nSo I I think that i might use the wrong config files, but I'm not sure which one to use.\r\nI also tried to add the parameters into .config and just make the kernel without building the system but it seems to always generate a new .config file. \r\n\r\n  "},"comment":{"url":"https://api.github.com/repos/OP-TEE/optee_os/issues/comments/425402552","html_url":"https://github.com/OP-TEE/optee_os/issues/2559#issuecomment-425402552","issue_url":"https://api.github.com/repos/OP-TEE/optee_os/issues/2559","id":425402552,"node_id":"MDEyOklzc3VlQ29tbWVudDQyNTQwMjU1Mg==","user":{"login":"Christian56","id":4200522,"node_id":"MDQ6VXNlcjQyMDA1MjI=","avatar_url":"https://avatars0.githubusercontent.com/u/4200522?v=4","gravatar_id":"","url":"https://api.github.com/users/Christian56","html_url":"https://github.com/Christian56","followers_url":"https://api.github.com/users/Christian56/followers","following_url":"https://api.github.com/users/Christian56/following{/other_user}","gists_url":"https://api.github.com/users/Christian56/gists{/gist_id}","starred_url":"https://api.github.com/users/Christian56/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Christian56/subscriptions","organizations_url":"https://api.github.com/users/Christian56/orgs","repos_url":"https://api.github.com/users/Christian56/repos","events_url":"https://api.github.com/users/Christian56/events{/privacy}","received_events_url":"https://api.github.com/users/Christian56/received_events","type":"User","site_admin":false},"created_at":"2018-09-28T11:09:16Z","updated_at":"2018-09-28T11:09:16Z","author_association":"NONE","body":"Ah thanks for the hint @Emantor. With `make menuconfig` I got to compile the kernel including IMA. However it freezes after the following message:\r\n```\r\nINFO:    BL3-1: Preparing for EL3 exit to normal world\r\nINFO:    BL3-1: Next image address = 0x80000\r\nINFO:    BL3-1: Next image spsr = 0x3c9\r\n```\r\nWhat I did was to load the normal config activate IMA and removed  \"Rasperry Pi display firmware driven backlight\" from device drivers/graphic support / backlight & lcd device support as I got an error during compilation otherwise and it didnt seem to important to me. After that i compiled used the default config options when being asked. \r\n\r\nSo I assume i need to change other config parameters in order to successfully compile the kernel. But I don't know what Configuration. \r\n\r\n\r\n\r\n\r\n\r\n  \r\n "}}
{"actor":{"display_login":"Christian56"}}