sel4-decompiler
/
sha256:57deedbbf68dd2de4a8e9e95ec2be080243273d8c0795a6fac6ff13474f1ca7d
i5ix6nv7bxwxq8x3a5j8snvv45dn6f45
sha256:57deedbbf68dd2de4a8e9e95ec2be080243273d8c0795a6fac6ff13474f1ca7d
Install from the command line
Learn more about packages
$ docker pull ghcr.io/sel4/sel4-decompiler:i5ix6nv7bxwxq8x3a5j8snvv45dn6f45
Use as base image in Dockerfile:
FROM ghcr.io/sel4/sel4-decompiler:i5ix6nv7bxwxq8x3a5j8snvv45dn6f45
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:57deedbbf68dd2de4a8e9e95ec2be080243273d8c0795a6fac6ff13474f1ca7d",
"mediaType": "application/vnd.docker.distribution.manifest.v2+json",
"size": 18787,
"config": {
"digest": "sha256:0c46d2963886dbfd070fa74ca3a33ef52fedc8290a20f544d46a68b2c1f10f92",
"mediaType": "application/vnd.docker.container.image.v1+json",
"size": 23370
},
"layers": [
{
"digest": "sha256:d0820d7fe4448ab7ce84d161982d44bb9732b4744ea9cf4ff8568c3bd3dfe0a4",
"mediaType": "application/x-gzip",
"size": 98504
},
{
"digest": "sha256:83db15d3e8e73ec035ce05b43fea0d78846bea17e1b95d0d19af9448f4dc5430",
"mediaType": "application/x-gzip",
"size": 703823
},
{
"digest": "sha256:64224c99e905139be201d07979d43b7587f02db2cb28bff20d4e42f4c01b5a53",
"mediaType": "application/x-gzip",
"size": 10483083
},
{
"digest": "sha256:77adda2146a1c9435f539c0da92dfe135859d8758e55fa74b0a865d90d0dd301",
"mediaType": "application/x-gzip",
"size": 729655
},
{
"digest": "sha256:48d103a1c9b083c376782cac4b0404a73271170657d7685f4ff23c3bdd1c5287",
"mediaType": "application/x-gzip",
"size": 35177
},
{
"digest": "sha256:3415087871ac6e793d05d5181f763c06c2097739cb683fdc079cbb2abb0a1f3e",
"mediaType": "application/x-gzip",
"size": 769671
},
{
"digest": "sha256:d9eab85901340748496eb44dff4b99b9e269a24b63822614bb1afa8c307141c0",
"mediaType": "application/x-gzip",
"size": 465082
},
{
"digest": "sha256:c5529febd9cb350b21dedb97129e8e14a5626124bab881c57e2ce178846db623",
"mediaType": "application/x-gzip",
"size": 24030
},
{
"digest": "sha256:e622e70d6827a89e6654075d60046e2c8f4f09c269e2c3cfae5cd56440f4edcf",
"mediaType": "application/x-gzip",
"size": 342073
},
{
"digest": "sha256:bafa54641e86bc26b93eca4f1ac8b0963f08469367ba6146bf3be12e184d7528",
"mediaType": "application/x-gzip",
"size": 2119645
},
{
"digest": "sha256:3fb8b2e654d1ce49e44a751cd86b4b002292fdc5e9ad58b47be7b1f538901e15",
"mediaType": "application/x-gzip",
"size": 192268
},
{
"digest": "sha256:00686db9f7a7e1534289382497a2c87ed7d0ddc9057c82867851a449e2ae1390",
"mediaType": "application/x-gzip",
"size": 752406
},
{
"digest": "sha256:4551424814c9850f85bc918a45a68a779f0c98e9af776bb58c7bc1d0f57aff41",
"mediaType": "application/x-gzip",
"size": 772696
},
{
"digest": "sha256:7ef4931b45ca1ce0974a97fc980560801cec26faf75556ccc04debcad93bf478",
"mediaType": "application/x-gzip",
"size": 34030
},
{
"digest": "sha256:753a848229bbd71c0cda2b69bf65257bde9dddffc75a91b781aad57564b4544c",
"mediaType": "application/x-gzip",
"size": 672092
},
{
"digest": "sha256:63904b97e1150cbd7352c6a1f15c7ff5ec05e20a6fa0b29494bd2afff2048557",
"mediaType": "application/x-gzip",
"size": 204594
},
{
"digest": "sha256:d087e180999a1960f21c22a2086a773867e3effb13fa81809aa0df3a3f4662a9",
"mediaType": "application/x-gzip",
"size": 798443
},
{
"digest": "sha256:9adf36dbf6f446e3477f1ef927b21caa2502aa28545ce228350ad70e0688a7ee",
"mediaType": "application/x-gzip",
"size": 342344
},
{
"digest": "sha256:6c79414de835f7ebdac4491f1523db3e669b1ab3401f8274143add6fd89ddaf3",
"mediaType": "application/x-gzip",
"size": 220203
},
{
"digest": "sha256:cf936b45d140b58e1d3a4f248660ffe779ce327d7bfc0446073a3d19d6d91733",
"mediaType": "application/x-gzip",
"size": 29127
},
{
"digest": "sha256:70927f64388753f7633f157bbe891bc6c4b9f8e0b134a284623702c384408600",
"mediaType": "application/x-gzip",
"size": 98512
},
{
"digest": "sha256:e040f822bdb9416b7c8265c629c72d02064d802ce104b84673b43cafb0850576",
"mediaType": "application/x-gzip",
"size": 19112
},
{
"digest": "sha256:0dd6b310739ed1c52d7a5f5b8a23e9aff3c41c8b5e051af57de527c7d1558cd7",
"mediaType": "application/x-gzip",
"size": 66693
},
{
"digest": "sha256:18fc0cc4ed1888fbe9c4a53adacb0ca88a0ba06635b217b34454e7c36a36a7ee",
"mediaType": "application/x-gzip",
"size": 561149
},
{
"digest": "sha256:59c83de3938b737bd1b2557e1b07564726e11586412b7b2f07841f8c1103369d",
"mediaType": "application/x-gzip",
"size": 2783054
},
{
"digest": "sha256:8499e15305a8f42abbab9d321f36d68363c0a250266534bfa815689c44411642",
"mediaType": "application/x-gzip",
"size": 2593221
},
{
"digest": "sha256:77467e01a1e7c5bdb5bb9694048136d274a78186e011a125c0258c0ee90c3643",
"mediaType": "application/x-gzip",
"size": 104233
},
{
"digest": "sha256:e86544bfc17afe72655e96b33e2a4e53b920299a86f06950bcf16413fae526a5",
"mediaType": "application/x-gzip",
"size": 288732
},
{
"digest": "sha256:a25d30564858da3cb40ed3225bbda1c6025665c8785331a5aed219f591eab210",
"mediaType": "application/x-gzip",
"size": 39059065
},
{
"digest": "sha256:5e1bf1024c31b5095fe3c3d9c3c418323d59617ede58280e42a563fb063bcedb",
"mediaType": "application/x-gzip",
"size": 3138252
},
{
"digest": "sha256:c0dda9c23230594fe37c7691383a59cfc847dfe5367ce84eff0961d7d345dc12",
"mediaType": "application/x-gzip",
"size": 339837
},
{
"digest": "sha256:865cd9985d87425ec7df5df413dc99f39fb3f1b0ec298e2b4f9561c2ca2d5c05",
"mediaType": "application/x-gzip",
"size": 21200
},
{
"digest": "sha256:612b0e4e7245f9a3d75cb2fa2446ab6f83d0c384cd680c80c07212dcb370df44",
"mediaType": "application/x-gzip",
"size": 195137
},
{
"digest": "sha256:44ce31a43695e105119f2db071ac0734c5dc0f43544772e8c5fbb626a7b85cf6",
"mediaType": "application/x-gzip",
"size": 320142
},
{
"digest": "sha256:c5e7e843a064b9dfcc8bc12f1812049f7d2296e95c9109d11c802d487fec4a00",
"mediaType": "application/x-gzip",
"size": 212379
},
{
"digest": "sha256:d48b1a0d793aa6560e4b2e9f2e66cf64a0fdbf3eb1f0aa8f9f7dbc057f2147e2",
"mediaType": "application/x-gzip",
"size": 155657
},
{
"digest": "sha256:41ea07f1bc58b64d8de5655f2f10427024bd6cc53f523f8bb7414d43218a34f3",
"mediaType": "application/x-gzip",
"size": 191415
},
{
"digest": "sha256:094b8af9b1d97f749a9423d33ecb2cdd6c494cb5c1fd9ebb561b9bb140953afd",
"mediaType": "application/x-gzip",
"size": 146694
},
{
"digest": "sha256:e942703f2488c20a19080a41fe372b567e8442ecebd561c51e763d1a7c9db370",
"mediaType": "application/x-gzip",
"size": 39840
},
{
"digest": "sha256:50f800291ef211880b95949119e41719febe93fbe3a9d354e949c4a008fef875",
"mediaType": "application/x-gzip",
"size": 67380
},
{
"digest": "sha256:9c300fad66f8dc117f3b0bcad4de0ae8dcf0a5fa90d1a56063de6e233b5ff815",
"mediaType": "application/x-gzip",
"size": 121649
},
{
"digest": "sha256:ad8edbde5ada1098b2934aa14d548853633158cc510bf0b1e4a6bca599d400c9",
"mediaType": "application/x-gzip",
"size": 49815
},
{
"digest": "sha256:8714b17fc999e9c15375dd7dbc7fbab59e382d97f873267d0190a0b6bef54aa0",
"mediaType": "application/x-gzip",
"size": 1064217
},
{
"digest": "sha256:7c0ecb51aff9df35176ca94a3708308c5fa72a101af035c9cce73b0a842e24bb",
"mediaType": "application/x-gzip",
"size": 16494
},
{
"digest": "sha256:8ddd51c86a372ec72fc2396fb7f4bee24905fb31a26959e20fdc2041b355d442",
"mediaType": "application/x-gzip",
"size": 196491
},
{
"digest": "sha256:418237d640e5895e4efec4ff67b3b4a10a63b6bfba58921e32104389659013eb",
"mediaType": "application/x-gzip",
"size": 3187636
},
{
"digest": "sha256:c697698257a35ff2830d5e02db2e7cef0476dc50860b024768ebd3fda713f2a0",
"mediaType": "application/x-gzip",
"size": 795866
},
{
"digest": "sha256:3611c07a314266322ac96446aef7bcde1bc66c3b9a4b863c09c39e030e623eb3",
"mediaType": "application/x-gzip",
"size": 1128915
},
{
"digest": "sha256:a5122d735636494e30ab323b6b5c4f26f26ce929aa69ccae1fc076bdb07a27de",
"mediaType": "application/x-gzip",
"size": 834069
},
{
"digest": "sha256:e42eebf6ee367bb32189831bec8ee6da9937fc531e42f4ee0f2f771d85826332",
"mediaType": "application/x-gzip",
"size": 323624
},
{
"digest": "sha256:1c223ef204f1aca334b327d25dfdc9cdfa235ec54f5358871100f61522edc490",
"mediaType": "application/x-gzip",
"size": 531422
},
{
"digest": "sha256:386d8bcbaf1afd4537e1f35a7cd10ec8b14905899046ba919c897d9420b92435",
"mediaType": "application/x-gzip",
"size": 114898
},
{
"digest": "sha256:163bfef53eefca9877cc042bbd5e4015082720934ee7521b15996ff029cb88b7",
"mediaType": "application/x-gzip",
"size": 568884
},
{
"digest": "sha256:1339730e8d56c392e8ce763f2d1aa809126cf02172e24708570523044faca246",
"mediaType": "application/x-gzip",
"size": 7679263
},
{
"digest": "sha256:248e8e4ba7d4a7adf0bfe12b188fb6dc9fa1127fe24b4e9ead1189240d34c549",
"mediaType": "application/x-gzip",
"size": 545573
},
{
"digest": "sha256:a31e4c690a8fbcd11e468fd17441448865ba2c4f9a1ae086925293f1a386c00f",
"mediaType": "application/x-gzip",
"size": 1982461
},
{
"digest": "sha256:375905fc15c92aacdb20a1e7a14da695cab157cacfe78eb4a9fb611041eb2a13",
"mediaType": "application/x-gzip",
"size": 83771
},
{
"digest": "sha256:2030fc9b69bb9f9b5da235a4ada762e6ac867b575a48a2a984fc9ca2ded96d0d",
"mediaType": "application/x-gzip",
"size": 1507964
},
{
"digest": "sha256:731869d804f570a4108dcaff7b4b4855511fa430758388485a911b14576b91fc",
"mediaType": "application/x-gzip",
"size": 20902
},
{
"digest": "sha256:d1f4d511243bea036927d16aa4783fa858d19a474b54579e32e17fb7e7892062",
"mediaType": "application/x-gzip",
"size": 34592
},
{
"digest": "sha256:42aede1981e5c638b86255ae719b9ba4ccf4810614bfef1f33497bcb32c60039",
"mediaType": "application/x-gzip",
"size": 163730
},
{
"digest": "sha256:85c56d786da98ea2e8a4217158b63509d597711d31311bf83ed4f5e4edb08d08",
"mediaType": "application/x-gzip",
"size": 377331
},
{
"digest": "sha256:60c605d81e11619dfd30143e8d1074bdc76246db734dafcb47413c6423f76143",
"mediaType": "application/x-gzip",
"size": 181005
},
{
"digest": "sha256:bc7749cae2b1fce0899bec89a68d6f2aff4ea482cba8d42d69063073a8324f09",
"mediaType": "application/x-gzip",
"size": 4569835
},
{
"digest": "sha256:ddc3e3005ba47e5480c27da8122ae6034ad551db0f3684167561b7d195fe23c3",
"mediaType": "application/x-gzip",
"size": 219928
},
{
"digest": "sha256:c358f30a00c0563e7fee2fbfa5155e23d1c58a013ae444bece50eaa3aee0d990",
"mediaType": "application/x-gzip",
"size": 671716
},
{
"digest": "sha256:a0658acff379f9c5a7ef020ef944f43ff1da3ce1b5565fd75e15615b5e449e99",
"mediaType": "application/x-gzip",
"size": 149423
},
{
"digest": "sha256:360db1ee8cabd6f3a146ed129fb865871da1a50accb14410789a47758aeb3f72",
"mediaType": "application/x-gzip",
"size": 377707
},
{
"digest": "sha256:c42bf8661ab98d7a4f5d8cf478660a269f75008b97ed95838e5157e7b2282684",
"mediaType": "application/x-gzip",
"size": 922020
},
{
"digest": "sha256:80e9ec1b6dbdfc0409bfd01261ae9d63cd3577177a50299e3943f03c1a27aa2f",
"mediaType": "application/x-gzip",
"size": 389013
},
{
"digest": "sha256:f136500bd9e760ff68b10be24954ee38b5a3410e39ac2d1878c49816de81a4db",
"mediaType": "application/x-gzip",
"size": 461514
},
{
"digest": "sha256:e2983341db5428b3fa9d0a44a04a5f22f28a273701bc3f4a7986757ea403d553",
"mediaType": "application/x-gzip",
"size": 977698
},
{
"digest": "sha256:3efc9e2c65d4b82cb7227984748b5d7b5cf23565c5bb0e4fabbc7bc7faf264e2",
"mediaType": "application/x-gzip",
"size": 332707
},
{
"digest": "sha256:987428aee85fdcdaedd90dfa04be564f3e25cb50c681e212226b014dbc6908c3",
"mediaType": "application/x-gzip",
"size": 11048
},
{
"digest": "sha256:16cb3265a58688bd800397a21247d6efbd6637f500fd0b579222be42a4494208",
"mediaType": "application/x-gzip",
"size": 125786
},
{
"digest": "sha256:73055b5a359001b19ccab94c6b6e59e8b6bedb5bfc9ddb5d3ebc367fa942c305",
"mediaType": "application/x-gzip",
"size": 9150
},
{
"digest": "sha256:4ffc66a7d42efc4d543cf8b3bc13c6f8286217c44d396f0420c09a02697695b6",
"mediaType": "application/x-gzip",
"size": 4907
},
{
"digest": "sha256:af35af2c933ae7ebcaeb5c67ce8f72e160d73c50cc253d8009929a05b4456590",
"mediaType": "application/x-gzip",
"size": 14184998
},
{
"digest": "sha256:14115c5fba97a7783d9c12380cf43dc027e27a67f94406b34f2b126ec22c7490",
"mediaType": "application/x-gzip",
"size": 424
},
{
"digest": "sha256:7cafee115235e5214e71a29342e6410a2b1f28f5e9eb95b6ac3c52ac897fdc28",
"mediaType": "application/x-gzip",
"size": 2952303
},
{
"digest": "sha256:dbb5291269fdd6e09f8796a77f9b04f50b038a14283531ecd33646d4e0d0e07b",
"mediaType": "application/x-gzip",
"size": 80480916
},
{
"digest": "sha256:65de068a44af764a3e7b64c0e8265b73d113be60031120864445198b9983a8e5",
"mediaType": "application/x-gzip",
"size": 10685
},
{
"digest": "sha256:83deacb422094d2d559a1a5b24c20651c84a7b3282fe3d7036fc1256a8d589c4",
"mediaType": "application/x-gzip",
"size": 15599
},
{
"digest": "sha256:8484c105ce811520b296cf810507d151ab1c9e985fab4f3b2bafd65a83ffe29b",
"mediaType": "application/x-gzip",
"size": 3396203
},
{
"digest": "sha256:60a81b5c4cdb6b1038b8fcb611ff7083faa3e8294bb99368097c5016b608f55b",
"mediaType": "application/x-gzip",
"size": 1812971
},
{
"digest": "sha256:39e66b525daf65234a6324c2a473772e038433d964cab69fa7467bb9cdc469f3",
"mediaType": "application/x-gzip",
"size": 925
},
{
"digest": "sha256:c98bfaeb5d611f770fbdbfbfdbd413753111ac747a2368f9f0fc16e2861d7ef4",
"mediaType": "application/x-gzip",
"size": 9918
},
{
"digest": "sha256:7e6f0c38a4db66d13ef9e84714ef8a83d9c0f8dff0f3e0c7c8158768e4f1d3ad",
"mediaType": "application/x-gzip",
"size": 4438
},
{
"digest": "sha256:0c46d2963886dbfd070fa74ca3a33ef52fedc8290a20f544d46a68b2c1f10f92",
"mediaType": "text/plain; charset=utf-8",
"size": 23370
}
]
}
Details
- sel4-decompiler
- seL4
- seL4/graph-refine
- over 1 year ago
Download activity
- Total downloads 289
- Last 30 days 0
- Last week 0
- Today 0