* Matthew Garrett: Producing a trustworthy x86-based Linux appliance
@ 2021-06-02 21:25 Peter Müller
2021-06-03 12:40 ` Michael Tremer
0 siblings, 1 reply; 3+ messages in thread
From: Peter Müller @ 2021-06-02 21:25 UTC (permalink / raw)
To: development
[-- Attachment #1: Type: text/plain, Size: 215 bytes --]
Hello *,
in case anybody still needs reading matter, https://mjg59.dreamwidth.org/57199.html might
be worth a lecture - if you trust the (x86) hardware, that is. :-)
Thanks, and best regards,
Peter Müller
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Matthew Garrett: Producing a trustworthy x86-based Linux appliance
2021-06-02 21:25 Matthew Garrett: Producing a trustworthy x86-based Linux appliance Peter Müller
@ 2021-06-03 12:40 ` Michael Tremer
2021-06-06 9:25 ` Bernhard Bitsch
0 siblings, 1 reply; 3+ messages in thread
From: Michael Tremer @ 2021-06-03 12:40 UTC (permalink / raw)
To: development
[-- Attachment #1: Type: text/plain, Size: 593 bytes --]
Hello,
I have seen this article as well, but I did not take away much from it.
It says to me:
* You cannot trust hardware
* You cannot trust firmware
And so any software running on top of that cannot validate itself. We just have to hope for the best.
-Michael
> On 2 Jun 2021, at 22:25, Peter Müller <peter.mueller(a)ipfire.org> wrote:
>
> Hello *,
>
> in case anybody still needs reading matter, https://mjg59.dreamwidth.org/57199.html might
> be worth a lecture - if you trust the (x86) hardware, that is. :-)
>
> Thanks, and best regards,
> Peter Müller
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Matthew Garrett: Producing a trustworthy x86-based Linux appliance
2021-06-03 12:40 ` Michael Tremer
@ 2021-06-06 9:25 ` Bernhard Bitsch
0 siblings, 0 replies; 3+ messages in thread
From: Bernhard Bitsch @ 2021-06-06 9:25 UTC (permalink / raw)
To: development
[-- Attachment #1: Type: text/plain, Size: 1062 bytes --]
Hi,
Michael you are right.
Am 03.06.2021 um 14:40 schrieb Michael Tremer:
> Hello,
>
> I have seen this article as well, but I did not take away much from it.
>
> It says to me:
>
> * You cannot trust hardware
> * You cannot trust firmware
>
You can't verify hardware and firmware, because you do not get a
complete description, which is necessary despite of comülexity.
> And so any software running on top of that cannot validate itself. We just have to hope for the best.
>
Software itself can be verified in most parts, theoretically. But it a
matter of complexity whether this can be done in an adequate time.
What can't be verified is the implementation, see above.
- Bernhard
> -Michael
>
>> On 2 Jun 2021, at 22:25, Peter Müller <peter.mueller(a)ipfire.org> wrote:
>>
>> Hello *,
>>
>> in case anybody still needs reading matter, https://mjg59.dreamwidth.org/57199.html might
>> be worth a lecture - if you trust the (x86) hardware, that is. :-)
>>
>> Thanks, and best regards,
>> Peter Müller
>
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2021-06-06 9:25 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-06-02 21:25 Matthew Garrett: Producing a trustworthy x86-based Linux appliance Peter Müller
2021-06-03 12:40 ` Michael Tremer
2021-06-06 9:25 ` Bernhard Bitsch
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox