Verified OS concerns

2013-09-19 Thread josef . winger
Does OpenBSD plan to varify its (main) components, to reach the level of zero-bug software? If not, isn't there any concern that (future) varified OS will render OBSD redundant one day? /jo

Re: OpenBSD crypto and NSA/Bruce Schneier

2013-09-11 Thread josef . winger
Gesendet: Mittwoch, 11. September 2013 um 11:42 Uhr Von: Rudolf Leitgeb rudolf.leit...@gmx.at An: es...@nerim.net Cc: misc@openbsd.org Betreff: Re: OpenBSD crypto and NSA/Bruce Schneier Second, low hanging fruit. Contrary to what some hysterical reports may claim, and some violations

Two primary OBSD partitions on a HDD

2013-08-25 Thread josef . winger
I read fdisk(8) carefully (At least I think so), but I repeatedly failed to install two OBSDS on two primary partitions of a HDD. The idea was to realize a multiboot by toogleing the boot-flag to the primary partition of the particular OBSD system I want to boot. However, I think that the

Install drivers

2013-08-12 Thread josef . winger
How can I force OBSD to install drivers, that are not needed on the running hardware? This may sound strange on a first sight, but in my situation I have OBSD on a flash drive that runs via flashrd from RAM and this RAM can be located in various (i386/ARM64) systems. I want to support as much