zlacker

[parent] [thread] 2 comments
1. snvzz+(OP)[view] [source] 2025-09-29 03:04:42
Why the BMC is not designed around seL4, I cannot comprehend.
replies(2): >>justin+Lq >>kj4ips+DF3
◧
2. justin+Lq[view] [source] 2025-09-29 08:59:22
>>snvzz+(OP)
Because people dont want to pay? Openbmc clearly has difficulty getting widespread support as nothing is documented.
◧
3. kj4ips+DF3[view] [source] 2025-09-30 11:12:48
>>snvzz+(OP)
Two main reasons I can think of:

Most current BMC platforms are older than seL4

Most run on hardware that is not supported by seL4, or at least on hardware where it has not been validated.

Not to mention that a task manager would be needed as well as tons of other services which aren't provided out of the box, and don't share the verification provided guarantees.

[go to top]