Xv6, a simple Unix-like teaching operating system • Hacker News Board

Re: Xv6, a simple Unix-like teaching operating system

#11

Post by melissalobos » Tue, Aug 02, 2022, 3:43 AM UTC

kevin_thibedeau wrote: post #10

melissalobos wrote: post #8

Earlier quoted context omitted.

I don't know quite what you mean? MINIX isn't free, which is pretty big for a student project. In fact people may have started a similar project(not big like GNU) to due to its price.

It's equivalent to 3-clause BSD. https://wiki.minix3.org/doku.php?id=www:documentation:licens...

My comment as may be noted was more a commentary on the historical licensing of MINIX which lead to Linux, see the original post.

https://fossbytes.com/linus-torvaldss-famous-email-first-lin...

Re: Xv6, a simple Unix-like teaching operating system

#12

Post by ori_b » Tue, Aug 02, 2022, 3:56 AM UTC

adastra22 wrote: post #2

Why not MINIX?

    $ find minix -name \*.[chsS] | grep -v '^minix/external' | xargs cat | wc -l
     3347361
    $ find xv6-public/ -name \*.[chsS] | xargs cat | wc -l
     9778

Re: Xv6, a simple Unix-like teaching operating system

#13

Post by chungy » Tue, Aug 02, 2022, 4:19 AM UTC

melissalobos wrote: post #11

kevin_thibedeau wrote: post #10

Earlier quoted context omitted.

It's equivalent to 3-clause BSD. https://wiki.minix3.org/doku.php?id=www:documentation:licens...

My comment as may be noted was more a commentary on the historical licensing of MINIX which lead to Linux, see the original post. https://fossbytes.com/linus-torvaldss-famous-email-first-lin...

The same argument could be made to claim "Linux isn't free" given its very first license.

Re: Xv6, a simple Unix-like teaching operating system

#14

Post by nineteen999 » Tue, Aug 02, 2022, 4:21 AM UTC

phendrenad2 wrote: post #6

adastra22 wrote: post #2

Why not MINIX?

MINIX isn't very Unix-like

Right - for a start xv6 is a monolithic kernel, and MINIX is (mostly) not.

Re: Xv6, a simple Unix-like teaching operating system

#15

Post by dasz » Tue, Aug 02, 2022, 4:21 AM UTC

Last time I looked this didn't have networking. Is that still the case?

Anyone able to explain why networking was left out?

Why I ask? I've seen a bunch of projects on GitHub for implementing xv6 networking.

Re: Xv6, a simple Unix-like teaching operating system

#16

Post by alwaysjoe » Tue, Aug 02, 2022, 4:38 AM UTC

dasz wrote: post #15

Last time I looked this didn't have networking. Is that still the case? Anyone able to explain why networking was left out? Why I ask? I've seen a bunch of projects on GitHub for implementing xv6 networking.

The course has a networking lab. There should be a branch with basic support, and an exercise to extend it.

Re: Xv6, a simple Unix-like teaching operating system

#17

Post by Jtsummers » Tue, Aug 02, 2022, 4:38 AM UTC

dasz wrote: post #15

Last time I looked this didn't have networking. Is that still the case? Anyone able to explain why networking was left out? Why I ask? I've seen a bunch of projects on GitHub for implementing xv6 networking.

Probably because it has a lab to add networking: https://pdos.csail.mit.edu/6.828/2019/labs/net.html

Re: Xv6, a simple Unix-like teaching operating system

#18

Post by azhenley » Tue, Aug 02, 2022, 4:39 AM UTC

My favorite OS tutorial that I recommend to students, which uses Rust to target RISC-V: https://osblog.stephenmarz.com/

Re: Xv6, a simple Unix-like teaching operating system

#19

Post by garren » Tue, Aug 02, 2022, 4:47 AM UTC

Also, XINU, “ Operating System Design - The Xinu Approach”[0]

The book isn’t free, but I’ve found it to be fun to work through. The projects are centered around building and running on small boards like beaglebone, Galileo, and more recently raspi (although this isn’t covered in the book.)

[0] https://xinu.cs.purdue.edu/

Re: Xv6, a simple Unix-like teaching operating system

#20

Post by yjftsjthsd-h » Tue, Aug 02, 2022, 5:05 AM UTC

melissalobos wrote: post #11

kevin_thibedeau wrote: post #10

Earlier quoted context omitted.

It's equivalent to 3-clause BSD. https://wiki.minix3.org/doku.php?id=www:documentation:licens...

My comment as may be noted was more a commentary on the historical licensing of MINIX which lead to Linux, see the original post. https://fossbytes.com/linus-torvaldss-famous-email-first-lin...

It's reasonable to say it wasn't free, but MINIX 3 is FOSS now.