Skip to content
sel4-decompiler / sha256:57deedbbf68dd2de4a8e9e95ec2be080243273d8c0795a6fac6ff13474f1ca7d

latest

sha256:57deedbbf68dd2de4a8e9e95ec2be080243273d8c0795a6fac6ff13474f1ca7d
Install from the command line
Learn more about packages
$ docker pull ghcr.io/sel4/sel4-decompiler:latest
Use as base image in Dockerfile:
FROM ghcr.io/sel4/sel4-decompiler:latest

Loading

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


Download activity

  • Total downloads 289
  • Last 30 days 0
  • Last week 0
  • Today 0