summaryrefslogtreecommitdiff
path: root/user
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2024-04-07 17:18:07 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2024-04-07 17:18:07 +0200
commit0db356ea482b3045f4d49b5c7953791bf18573a3 (patch)
treed083419e0fb7f974b4111a5fcd44174d1d221556 /user
parent9553439d7562aad9c3b58a83fc7c0059fc29422a (diff)
Fix git.savannah.gnu.org urls into https
Diffstat (limited to 'user')
-rw-r--r--user/Sergio_Lopez.mdwn2
-rw-r--r--user/flaviocruz.mdwn2
-rw-r--r--user/zhengda.mdwn2
3 files changed, 3 insertions, 3 deletions
diff --git a/user/Sergio_Lopez.mdwn b/user/Sergio_Lopez.mdwn
index ab5ed1f1..5075b8e9 100644
--- a/user/Sergio_Lopez.mdwn
+++ b/user/Sergio_Lopez.mdwn
@@ -30,7 +30,7 @@ This work has two objectives:
#### Trying it
I've commited this work to this branch:
-<http://git.savannah.gnu.org/cgit/hurd/gnumach.git/log/?h=k0ro/advisory_pageout/master>
+<https://git.savannah.gnu.org/cgit/hurd/gnumach.git/log/?h=k0ro/advisory_pageout/master>
You'll also need the counterpart for user space:
diff --git a/user/flaviocruz.mdwn b/user/flaviocruz.mdwn
index a1636918..850e2271 100644
--- a/user/flaviocruz.mdwn
+++ b/user/flaviocruz.mdwn
@@ -14,7 +14,7 @@ Email: flaviocruz at gmail dot com
Some [Hurd stuff](http://opensvn.csie.org/leic/hurd/)
-And code: [cl-hurd](http://git.savannah.gnu.org/cgit/hurd/incubator.git/log/?h=clisp)
+And code: [cl-hurd](https://git.savannah.gnu.org/cgit/hurd/incubator.git/log/?h=clisp)
## Summer session
diff --git a/user/zhengda.mdwn b/user/zhengda.mdwn
index a7f57f35..9422b02c 100644
--- a/user/zhengda.mdwn
+++ b/user/zhengda.mdwn
@@ -13,7 +13,7 @@ porting DDE developed by DROPS to the Hurd, and it will still run in the user sp
The introduction of DDE/DDEKit can be found in [here](http://wiki.tudos.org/DDE/DDEKit) and more information can be found [here](http://os.inf.tu-dresden.de/pipermail/l4-hackers/2009/004291.html). DDE/DDEKit is a library, and it should be compiled with the code of Linux or FreeBSD drivers. DDE Linux26 is still under development and it can now support network and block devices (but doesn't support SCSI).
##The current status
-Currently a few NIC cards work now. I tested pcnet32, e100, e1000, ne2k-pci and rtl8139 in VMWare and Qemu. But the DDE e100 driver cannot work for some e100 cards as currently DDE doesn't support firmware. Someone also reported sis900 cannot work, unfortunately, I cannot test it myself. I appreciate if someone can try some other NIC drivers and give me some feedbback. Please run DDE with GNUMach in the [master-user_level_drivers](http://git.savannah.gnu.org/cgit/hurd/gnumach.git/) branch.
+Currently a few NIC cards work now. I tested pcnet32, e100, e1000, ne2k-pci and rtl8139 in VMWare and Qemu. But the DDE e100 driver cannot work for some e100 cards as currently DDE doesn't support firmware. Someone also reported sis900 cannot work, unfortunately, I cannot test it myself. I appreciate if someone can try some other NIC drivers and give me some feedbback. Please run DDE with GNUMach in the [master-user_level_drivers](https://git.savannah.gnu.org/cgit/hurd/gnumach.git/) branch.
## My work
I separate DDE Linux26 to 2 parts: libddekit and libdde_linux26. I also provide a library called libmachdev on the top of the Linux code to provide the Mach device interface, so it is easy for the user to compile a Linux driver and run it in the Hurd. The latest code can be found in the dde branch of the incubator repository.