Kamil : I’m pleased to inform you about my new project. I have founded Moritz Systems. Moritz Systems is an IT start-up with focus to commercialize NetBSD derived products. Our mission is: - Enhancing the Operating System in areas critical for commercial users. - Building commercial products based on the NetBSD Operating System. Moritz Systems is a new company, but it is associated with experienced software developers from the BSD community supported by commercial and management experts. Our team has expertise in working on toolchains, low-level components, kernel and userland code, building tailor made distributions and packaging third party software in packaging collections. I will be pleased to have your suggestions regarding potential clients interested for our services and their requirements. I’m looking forward to your reply. Best regards, Kamil Rytarowski CTO, Moritz Systems www.moritz.systems

Hey, wish you good luck with your goals !! Hope, that you will succeed.

The first device driver developed by Moritz Systems for LTE Modem Fibocom L850-GL / Intel XMM7360 has been released. https://netbsd.gw.com/cgi-bin/man-cgi?wwanc++NetBSD-current

NetBSD is the first to have this xmm modem support out of open source OSs. :)

"An introduction to Formal Verification for Software Systems" by Santhosh Raju and Kamil Rytarowski [https://www.moritz.systems/blog/an-introduction-to-formal-verification/](https://www.moritz.systems/blog/an-introduction-to-formal-verification/) #TLA+ #codequality #formalmethods #software #verification #security #iot #embedded #infosec [URL=https://i.imgur.com/O2NfGNH.jpg][IMG]https://i.imgur.com/O2NfGNH.jpg[/IMG][/URL]

"Voucher System verification using TLA+" by Santhosh Raju and Kamil Rytarowski https://moritz.systems/blog/voucher-system-verification-using-tlaplus/ #TLA+ #codequality #formalmethods #software #verification #security #iot #embedded #infosec #distributed #cryptocurrency [URL=https://i.imgur.com/0JYCZEa.jpg][IMG]https://i.imgur.com/0JYCZEa.jpg[/IMG][/URL]

"An introduction to LLVM libFuzzer" by Kamil Frankowicz and Kamil Rytarowski https://www.moritz.systems/blog/an-introduction-to-llvm-libfuzzer/ [URL=https://i.imgur.com/u8IQ0ru.png][IMG]https://i.imgur.com/u8IQ0ru.png[/IMG][/URL]

If I was going to hire someone to do just ONE thing for NetBSD, it would be either a "generic" (VESA?) driver for machines with "nvidia problems." Or a prominent FAQ item on how to enable such a driver if it exists in the base installation. My only NetBSD machine (which I setup JUST to compare NetBSD to other BSDs) works alright from the command line, but once you run X it crashes and barfs graphics on the screen. I really don't need X working, but if there was a "safe mode" option, even at lower resolution, that would be so much nicer. This is one of the more common problems I know of with NetBSD, any improvement would be welcome.

@"flfederation"#p4337 There _is_ a generic X driver just for this: `wsfb`. We can talk about it, but, in a separate thread.

"How to integrate a fuzzer with your project?" by Kamil Frankowicz https://www.moritz.systems/blog/how-to-integrate-a-fuzzer-with-your-project/

> @"kamil"#p4465 "How to integrate a fuzzer with your project?" by Kamil Frankowicz Hmm. How many Kamils _are_ there in Moritz Systems? Is there a _Kamil conspiracy_ we should be worrying about?

Announcement : Moritz Systems

kamil

"How Debuggers Work: Getting and Setting x86 Registers, Part 2: XSAVE" by Michał Górny

https://www.moritz.systems/blog/how-debuggers-work-getting-and-setting-x86-registers-part-2/

kamil

"FreeBSD Remote Process Plugin is now the default in LLDB" by Michał Górny, Kamil Rytarowski

https://www.moritz.systems/blog/freebsd-remote-plugin-is-now-the-default-in-lldb/

kamil

"Before the BSD Kernel starts: Part One on AMD64" by Maciej Grochowski

https://www.moritz.systems/blog/before-the-bsd-kernel-starts-part-one-on-amd64/

kamil

"Mastering UNIX pipes, Part 1" By Kamil Rytarowski

https://www.moritz.systems/blog/mastering-unix-pipes-part-1/

#netbsd #freebsd #openbsd #linux #programming #c

kamil

"FreeBSD Remote Process Plugin: Final Milestone Achieved" by Kamil Rytarowski, Michał Górny

https://www.moritz.systems/blog/freebsd-remote-plugin-final-milestone-achieved/

kamil

LLDB FreeBSD CPU target support and userland debugging improvements

https://moritz.systems/blog/lldb-freebsd-cpu-target-support-and-userland-debugging-improvements/

The Moritz Systems has started a new contract on improving the LLDB support for FreeBSD.

#freebsd #llvm #lldb #debugger

kamil

LLDB: FreeBSD Legacy Process Plugin Removed

https://www.moritz.systems/blog/freebsd-legacy-process-plugin-removed/

kamil

LLDB support for fork(2) and vfork(2)

https://www.moritz.systems/blog/lldb-support-for-fork-and-vfork/

kamil

The Moritz Systems team has started a new contract on FreeBSD KGDB support in LLDB.

https://www.moritz.systems/blog/freebsd-kgdb-support-in-lldb/

kamil

Improving GDB protocol compatibility in LLDB

https://www.moritz.systems/blog/improving-gdb-protocol-compatibility-in-lldb/

#FreeBSD #LLVM #GDB #LLDB

kamil

Improving GDB register model compatibility in LLDB

https://www.moritz.systems/blog/improving-gdb-register-model-compatibility-in-lldb/

Jay

LLDB FreeBSD live kernel debugging support
https://www.moritz.systems/blog/lldb-freebsd-live-kernel-debugging-support/

puhaTek

Jay

Hi. I'm interested in the process that you used to get this driver running on NetBSD.

I've download the Kernal sources, but I don't want to compile the Kernal to test the a driver so I was wondering if you have the template for the loadable kernal communication module (modem/wifi/ethernet) so I could try porting a Wifi one to NetBSD and use modload(8) for testing?

Thanks

JuvenalUrbino

puhaTek What is it you're trying to achieve? Better to start a new thread (instead of hijacking this) and clearly but concisely explain what was your idea.

puhaTek

JuvenalUrbino
Yes that makes sense, apologies for the hijack

« Previous Page