{"action":"created","issue":{"url":"https://api.github.com/repos/genodelabs/genode/issues/1547","labels_url":"https://api.github.com/repos/genodelabs/genode/issues/1547/labels{/name}","comments_url":"https://api.github.com/repos/genodelabs/genode/issues/1547/comments","events_url":"https://api.github.com/repos/genodelabs/genode/issues/1547/events","html_url":"https://github.com/genodelabs/genode/issues/1547","id":82486929,"number":1547,"title":"AHCI does not work with SB7x0/SB8x0/SB9x0 SATA controller","user":{"login":"NobodyIII","id":10506218,"avatar_url":"https://avatars.githubusercontent.com/u/10506218?v=3","gravatar_id":"","url":"https://api.github.com/users/NobodyIII","html_url":"https://github.com/NobodyIII","followers_url":"https://api.github.com/users/NobodyIII/followers","following_url":"https://api.github.com/users/NobodyIII/following{/other_user}","gists_url":"https://api.github.com/users/NobodyIII/gists{/gist_id}","starred_url":"https://api.github.com/users/NobodyIII/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NobodyIII/subscriptions","organizations_url":"https://api.github.com/users/NobodyIII/orgs","repos_url":"https://api.github.com/users/NobodyIII/repos","events_url":"https://api.github.com/users/NobodyIII/events{/privacy}","received_events_url":"https://api.github.com/users/NobodyIII/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":13,"created_at":"2015-05-29T16:06:25Z","updated_at":"2015-06-09T06:32:02Z","closed_at":null,"body":"This issue seems to be related to IRQs."},"comment":{"url":"https://api.github.com/repos/genodelabs/genode/issues/comments/110244741","html_url":"https://github.com/genodelabs/genode/issues/1547#issuecomment-110244741","issue_url":"https://api.github.com/repos/genodelabs/genode/issues/1547","id":110244741,"user":{"login":"ssumpf","id":1391021,"avatar_url":"https://avatars.githubusercontent.com/u/1391021?v=3","gravatar_id":"","url":"https://api.github.com/users/ssumpf","html_url":"https://github.com/ssumpf","followers_url":"https://api.github.com/users/ssumpf/followers","following_url":"https://api.github.com/users/ssumpf/following{/other_user}","gists_url":"https://api.github.com/users/ssumpf/gists{/gist_id}","starred_url":"https://api.github.com/users/ssumpf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ssumpf/subscriptions","organizations_url":"https://api.github.com/users/ssumpf/orgs","repos_url":"https://api.github.com/users/ssumpf/repos","events_url":"https://api.github.com/users/ssumpf/events{/privacy}","received_events_url":"https://api.github.com/users/ssumpf/received_events","type":"User","site_admin":false},"created_at":"2015-06-09T06:32:02Z","updated_at":"2015-06-09T06:32:02Z","body":"According to vmmon we have to read the bus number from the 00:18.0 PCI config space, this will tell us which bus the interrupt routings are meant for. Fix is in the works.\r\n@NobodyIII: Right now we observe some issues with interrupts on Fiasco.OC in general, which means they do not work on some platforms. Since @alex-ab told me that the NOVA kernel does not come up on your box, we will have to fix the Fiasco thing additionally."}}