Hello!
openbsd source code was checked by various static analyzers (coverity,
cppcheck, clang analyzer etc). Have someone tried PVS-Studio?
It became free to use for opensource projects [1].
[1] https://www.viva64.com/en/b/0457/
Sergey Bronnikov
Hi, everyone.
FOSDEM 2016 (the free and open source developer's meeting in Brussels, Europe)
will feature a new track on Containers and Process isolation [1]. Therefore, we
invite developers and users from the containers community to join us for this
track and present your talks or demos [2].
[1]
Hi,
I'm working on measuring OpenBSD code coverage.
The process still has drawbacks,
but some results are already available.
https://ligurio.github.io/openbsd-tests/6.2/coverage.html
Sergey
AFAIK OpenBSD provides statically compiled binaries and you cannot't
substitute functions from LD_PRELOADed lib for these binaries.
So libfaketime is useless for releases and snapshots built by the project.
On 19:00 Sat 09 Dec , x9p wrote:
> Hi,
>
> was used to play with faketime under Debian. it
On 17:54 Tue 19 Dec , Ted Unangst wrote:
> Kai Wetlesen wrote:
> > > > you don't have to announce your bug database the first day you set it
> > > > up. in
> > > > fact, it's better not to. but in a few months time, when somebody
> > > > inevitably
> > > > asks misc how do i contribute, where's t
On 21:04 Sat 31 Mar , Consus wrote:
> On 23:01 Fri 30 Mar, Sergey Bronnikov wrote:
> > I have made a first step forward in direction to OpenBSD bugtracker
> > and imported bugs@ archive to a Fossil SCM -
> > https://bronevichok.ru/cgi-bin/b.cgi/rptview?rn=1
> > Let
On 21:17 Fri 30 Mar , Mike Burns wrote:
> On 2018-03-30 23.01.16 +0300, Sergey Bronnikov wrote:
> > I have made a first step forward in direction to OpenBSD bugtracker
> > and imported bugs@ archive to a Fossil SCM -
> > https://bronevichok.ru/cgi-bin/b.cgi/rptview?rn=1
>
Hello,
I installed latest OpenBSD snapshot yesterday.
Notebook worked over the night with just started X server and xlock(1).
I have found a lot messages like below in system log on the morning:
error: [drm:pid9649:drmioctl] *ERROR* can't find authenticator
error: [drm:pid9649:drmioctl] *ERROR* c
Imho test should FAIL in case coredump was detected.
--- bsd.regress.mk_ Sun Jun 30 15:32:02 2013
+++ bsd.regress.mk__Sun Jun 30 15:46:04 2013
@@ -98,7 +98,7 @@
# XXX - we need a better method to see if a test fails due to timeout or just
# normal failure.
. if !defined(REGRESS_
Several regression tests requires installed packages:
sys/netinet6/frag6/Makefile
sys/net/pf_forward/Makefile
sys/net/pf_fragment/Makefile
usr.sbin/relayd/Makefile
It is better to do it automatically from bsd.regress.mk
via setting value PKG_REQUIRED in Makefile for each test.
It makes tests more
Bug was catched by fsfuzzer. Probably that bug cannot be
found in real life with real usecase, but anyway it is a bug.
panic: ext2fs_dirbadentry
Stopped at Debugger+0x5: leave
RUN AT LEAST 'trace' AND 'ps' AND INCLUDE OUTPUT WHEN REPORTING THIS PANIC!
DO NOT EVEN BOTHER REPORTING THIS WITHO
Bug was catched by fsfuzzer pointed to ext2 fs.
panic() at panic+0xe4
vrele() at vrele+0xcf
ext2fs_reclaim() at ext2fs_reclaim+0x47
VOP_RECLAIM() at VOP_RECLAIM+0x2b
vclean() at vclean+0x90
vgonel() at vgonel+0x40
vrecycle() at vrecycle+0x16
ext2fs_inactive() at ext2fs_inactive+0x7a
VOP_INACTIVE()
On 09:50 Wed 17 Jul , Philip Guenther wrote:
> On Wed, 17 Jul 2013, Sergey Bronnikov wrote:
> > Bug was catched by fsfuzzer. Probably that bug cannot be
> > found in real life with real usecase, but anyway it is a bug.
>
> Is e2fsck being run (forced?) after fuzzing and befo
Panic on attempt to write to USB 2.0 mass storage device.
Step to reproduce:
- attach USB flash
- mount it
- start copying files to mass storage
- try to get a list of files on flash via ls(1) several times
Unfortunately reproduction is not 100%
OpenBSD 5.4-beta (GENERIC) #0: Mon Jul 15 23:06:59
On 09:50 Wed 17 Jul , Philip Guenther wrote:
> On Wed, 17 Jul 2013, Sergey Bronnikov wrote:
> > Bug was catched by fsfuzzer. Probably that bug cannot be
> > found in real life with real usecase, but anyway it is a bug.
>
> Is e2fsck being run (forced?) after fuzzing and befo
Hi
File http://ftp.openbsd.org/pub/OpenBSD/5.4/PACKAGES
contains a link to http://www.openbsd.org/5.4_packages/
But link is actually broken.
The same for http://www.openbsd.org/ports.html
Hi,
every OpenBSD snapshot contains a file with build date.
For example amd64 -
http://ftp.openbsd.org/pub/OpenBSD/snapshots/amd64/BUILDINFO
But it is absent for socppc snapshot -
http://ftp.openbsd.org/pub/OpenBSD/snapshots/socppc/
Is there a reason for it?
Sergey
Yesterday I have found an unpleasent bug in OpenBSD.
I started two virtual machines in qemu with netbsd and building
source inside each virtual machine.
After about 10 min laptop become overheated just below the keyboard,
Xorg was shutdowned and host halted with following messages on console:
/bs
After upgrade to latest snapshot I see strange lines in dmesg:
Constant TSC= yes
Invariant TSC [ITSC]= no
Architectural Performance Monitoring [PERF] = yes
eax_07-00: Version ID = 2
eax_15-08: Num. of gen
Hi
I got kernel panic after boot UP kernel inside my virtual machine with
latest i386 snapshot (22 Jan 2013) while bsd.mp is ok.
UP kernel from previous installed snapshot (14 July 2012) boot ok.
http://ompldr.org/vaDdhNw/Screen%20Shot%202013-01-24%20at%201.06.11%20PM.png
http://ompldr.org/vaDdhO
please commit
On 17:20 Sat 23 Mar , Sergey Bronnikov wrote:
> Hi
>
> I have found that several kernel messages doesn't contain newline character.
> Patches attached.
>
> --
> sergeyb@
> --- arch/i386/i386/acpi_machdep.c Sat Mar 23 16:59:09 2013
> +++ arch/
new patch below
On 09:03 Thu 28 Mar , Alexander Hall wrote:
> On 03/28/13 08:27, Sergey Bronnikov wrote:
> >please commit
> >
> >On 17:20 Sat 23 Mar , Sergey Bronnikov wrote:
> >>Hi
> >>
> >>I have found that several kernel messages doesn&#
I have got kernel panic and message below on running fsstress over tmpfs.
kernel diagnostic assertion "dvp != vp" failed: file
"../../../../tmpfs/tmpfs_vnops.c", line 768
Panic can be easily reproduced by following steps:
- pkg_add fsstress
- mkdir /root/tmpfs
- mount_tmpfs tmpfs /root/tmpfs
- fs
I tried to install OpenBSD 5.4 release on my old computer.
Installation finished succesfully, but Xenocara hang after login
(actually I don't know it was hang itself or kernel panic).
Latest 5.4 snapshot doesn't have such trouble, but kernel constantly
spams to dmesg with messages like below:
erro
Hi
OpenBSD project has ports tree which contains a lot of applications
(about 8k in latest release).
I believe it is a lot of pain for maintainers of these ports to keep
port in 'up to date' state and not less pain to keep eyes on
the latest version of applications.
I suggest to implement target i
execution, e.g. one may notice that sensorsd makes its initial
report about the state of monitored sensors not immediately, but about 60
seconds after it is started.
Sergey Bronnikov
On Sun, Jan 19, 2014 at 10:34 PM, Laurence Rochfort
wrote:
> Hello,
>
> I'm trying to u
Somehow fstests from src/regress were broken.
Patch fix creation of temporary files and
add mark test target as required root permissions.
Ok?
Was: 3053 tests completed, 2738 failed.
Now: 3053 tests completed, 275 failed.
Another failes connected to abcense of syscalls (lchflags),
abcense of flag
Hi
"The only mailing list that allows attachments is the _ports_ list,
they will be removed from messages on the other mailing lists. "
http://www.openbsd.org/mail.html
you can upload your dmesg to pastebin and provide link in email.
On 14:53 Thu 07 Jul , R0me0 *** wrote:
> Hello misc,
>
> I Hav
What is the sense to buy Mac and install openbsd on it?
You pay for Mac OS when you buy a Mac. So what is the sense
to install another OS on it?
On 12:05 Wed 13 Jul , Devin Ceartas wrote:
> Has anyone used OpenBSD on the new mac mini servers which don't have an
> integrated optical drive? Is it po
may be proper link is http://www.openbsd.org/query-pr.html
On 17:28 Mon 18 Jul , ciscoad...@mail.ru wrote:
> Hello.
>
> Today I tried to search in the Bug Tracking system
> but got:
>
> Not Found
> The requested URL /cgi-bin/query-pr-wrapper was not found on this server.
>
> Apache/1.3.29 Server a
propably bioctl hang is a consequense of hardware errors on sd1:
> sd1 at scsibus2 targ 2 lun 0: SCSI3
> 0/direct fixed
> sd1: 70136MB, 512 bytes/sec, 143638992 sec total
> sd1(mpi1:2:0): Check Condition (error 0x70) on opcode 0x28
> SENSE KEY: Media Error
> INFO: 0x274a (VALID flag
read this paper - www.openbsd.org/papers/opencon06-culture.pdf
On 05:11 Wed 14 Apr , Zachary Uram wrote:
> As a long time Linux user I will soon try out OpenBSD, I have been
> reading the list emails and contacted 1 OpenBSD top person who was
> very rude. There is some of the "RTFM" or "get lost"
hardware switch is "switch" on front of notebook.
For example, when I disable WiFI on my W500 following lines appears in dmesg:
iwn0: RF switch: radio disabled
iwn0: Radio transmitter is off
iwn0: RF switch: radio disabled
iwn0: RF switch: radio enabled
see on image - http://www.notebookcheck.ne
On 07:02 Fri 18 Mar , johhny_at_poland77 wrote:
> Can someone please post small and compact [pointed] howtos,
> how to install an OpenBSD with full disk encryption,
over softraid - http://16s.us/OpenBSD/softraid.txt
over vnconfig - http://16s.us/OpenBSD/vnconfig.txt
> and how can we install goog
Someone working on port update for gpsbabel?
current version in ports - 1.3.6
latest sources - 1.4.2
--
sergeyb@
On 09:20 Tue 12 Apr , jirib wrote:
> On Tue, 12 Apr 2011 02:06:51 +0400
> Alexander Polakov wrote:
>
> > I am probably misunderstanding something, but are DUID's supposed to
> > be used in place of device filenames in fstab? I suppose they are,
> > so this looks strange to me:
> >
> > % sudo mou
Hello!
try:
sudo dhclient re0
or
sudo /etc/netstart
On 10:15 Thu 08 Jul , Chet Langin wrote:
> I would like to set DHCP for an interface
> from the command line. I have tried...
>
> # ifconfig re0 dhcp
>
> ..and I get this error...
>
> ifconfig: dhcp: bad value
>
> Using version 4.5.
>
>
Russia/Sergiev Posad
--
sergeyb@
On 02:10 Sat 24 Jul , Philip Guenther wrote:
> 2010/7/24 Sergey Bronnikov :
> > My idea is to make ports for such equipment.
>
> Lots of people have lots of really good ideas that don't get done
> because no one is willing to spend time or money on them. Are you
> wi
hi
you can try hotplugd (8)
On 22:37 Fri 10 Sep , Jean-Francois wrote:
> Hello,
>
> Do you have an idea where to look for an auto mounter in openbsd ? I
> installed
> gnome as a server for a friend and would like that his fat32 usb disks are
> auto mounted ...
>
> It might be useful to auto
yes. you can setup sensorsd with appropriate hw.sensors to shutdown server
when charge is low.
for example i have on my w500 following sensors:
hw.sensors.acpibat0.watthour0
hw.sensors.acpibat0.watthour3
hw.sensors.acpibat0.raw1
hw.sensors.acpiac0.indicator0
On 10:55 Thu 30 Sep , R0me0 **
h compatibility ?
>
> Regards
>
> 2010/9/30 Sergey Bronnikov
>
> > yes. you can setup sensorsd with appropriate hw.sensors to shutdown server
> > when charge is low.
> >
> > for example i have on my w500 following sensors:
> >
> > hw.sensors.acpibat0.w
Hello!
I have installed 4.8 release on my IBM T43 recently.
Suspend works great, but my atheros wi-fi card didn't resume and following
lines appears after resuming:
cbb0: bad Vcc request. sock_ctrl 0xff8f, sock_status 0x
ath0 detached
cbb0: bad Vcc request. sock_ctrl 0xff88, sock
may be http://openmoko.kd85.com/ ?
On 09:00 Wed 17 Nov , Jan Stary wrote:
> My twelve years old cell phone needs to get replaced,
> most probably with one of these newer smartphones.
>
> Beside other things, I want it to be as "open" as possible:
> a freely-available OS, a class-compliant USB sto
http://tothelasttribe.com/blog/2009/04/building-a-firewall-pfsense-on-an-alix-2d3/
http://blog.innerewut.de/2005/05/14/openbsd-3-7-on-wrap
On 16:24 Thu 18 Nov , Sergey Bronnikov wrote:
> it is not a hang.
> Just disabled output to serial console.
>
> You should add lines:
>
it is not a hang.
Just disabled output to serial console.
You should add lines:
set tty com0
stty com0 57600
to /etc/boot.conf
On 07:31 Thu 18 Nov , Frank Bax wrote:
> I installed 4.7 to a CF card via usb connector on HP D530. I then
> inserted CF card into a new ALIX system with
sorry for offtopic:
have you tried to install openbsd on it?
On 22:56 Fri 10 Dec , Edho P Arief wrote:
> On Sat, Oct 30, 2010 at 7:14 AM, Damien Miller wrote:
> > Hi,
> >
> > Can anyone recommend a small, fanless computer that will accept a HD
> > (perhaps
> > a 2.5" drive) that uses ECC RAM? Ne
47 matches
Mail list logo
