├── Font ├── Courier24.hs └── CourierBold24.hs ├── LICENSE ├── Makefile ├── README ├── createFontFile.hs ├── floppy_dir ├── alt ├── boot │ ├── grub │ │ ├── grub.conf │ │ ├── menu.lst │ │ └── stage2 │ └── kernel ├── div ├── fonts.hf ├── foo ├── hello ├── loop ├── pci.ids.gz └── sample ├── kernel ├── DomOS4.lhs ├── Gadgets │ ├── Bristol.hs │ ├── Calc.hs │ ├── Demo.hs │ ├── Escher.hs │ ├── Explode.hs │ ├── Graph.lhs │ ├── Images │ │ ├── BitStream.hs │ │ ├── DescribeGIF.hs │ │ ├── DrawGIF.hs │ │ ├── DrawGIF.hs.new │ │ ├── GIF.hs │ │ ├── GIFdecompress.hs │ │ ├── GIFops.hs │ │ ├── GIFparser.hs │ │ ├── ParsOps2.hs │ │ └── Utils2.hs │ ├── Keys.hs │ ├── Multicount.hs │ ├── README.txt │ ├── TerminalTest.hs │ ├── Tree.hs │ ├── Updown.hs │ ├── Updown2.hs │ ├── lib │ │ ├── Area.hs │ │ ├── Badget.hs │ │ ├── Bargraph.hs │ │ ├── Button.hs │ │ ├── Compgraph.hs │ │ ├── Components.hs │ │ ├── Container.hs │ │ ├── Display.hs │ │ ├── EditorG.hs │ │ ├── ExtBadget.hs │ │ ├── GUIPrelude.hs │ │ ├── Gadgets.hs │ │ ├── GadgetsPrelude.hs │ │ ├── Gio.hs │ │ ├── Grid.hs │ │ ├── HOpBadget.hs │ │ ├── Instruments.hs │ │ ├── Layout.hs │ │ ├── Os.hs │ │ ├── Paper.hs │ │ ├── Radiogroup.hs │ │ ├── Sm.hs │ │ ├── Terminal.hs │ │ ├── Test.hs │ │ ├── Useful.hs │ │ ├── Wall.hs │ │ ├── Window.hs │ │ └── Wire.hs │ └── tst.hs ├── GfxBenchmark.hs ├── H │ ├── AdHocMem.hs │ ├── All.hs │ ├── Concurrency.hs │ ├── Grub.hs │ ├── IOPorts.hs │ ├── Interrupts.hs │ ├── MemRegion.hs │ ├── Monad.hs │ ├── Mutable.hs │ ├── Pages.hs │ ├── PhysicalMemory.hs │ ├── Unsafe.hs │ ├── UserMode.hs │ ├── Utils.hs │ ├── VirtualMemory.hs │ └── h │ │ ├── H.AdHocMem.html │ │ ├── H.All.html │ │ ├── H.Concurrency.html │ │ ├── H.Grub.html │ │ ├── H.IOPorts.html │ │ ├── H.Interrupts.html │ │ ├── H.MemRegion.html │ │ ├── H.Monad.html │ │ ├── H.Mutable.html │ │ ├── H.PhysicalMemory.html │ │ ├── H.Unsafe.html │ │ ├── H.UserMode.html │ │ ├── H.Utils.html │ │ ├── H.VirtualMemory.html │ │ ├── doc-index-A.html │ │ ├── doc-index-B.html │ │ ├── doc-index-C.html │ │ ├── doc-index-D.html │ │ ├── doc-index-E.html │ │ ├── doc-index-F.html │ │ ├── doc-index-G.html │ │ ├── doc-index-H.html │ │ ├── doc-index-I.html │ │ ├── doc-index-L.html │ │ ├── doc-index-M.html │ │ ├── doc-index-N.html │ │ ├── doc-index-O.html │ │ ├── doc-index-P.html │ │ ├── doc-index-Q.html │ │ ├── doc-index-R.html │ │ ├── doc-index-S.html │ │ ├── doc-index-T.html │ │ ├── doc-index-U.html │ │ ├── doc-index-V.html │ │ ├── doc-index-W.html │ │ ├── doc-index-Y.html │ │ ├── doc-index.html │ │ ├── haddock.css │ │ ├── haskell_icon.gif │ │ └── index.html ├── House.hs ├── Hovel.hs ├── HovelM.hs ├── Kernel │ ├── AOut.hs │ ├── AOutModel.hs │ ├── Bits.hs │ ├── Console.hs │ ├── Debug.hs │ ├── Driver │ │ ├── CMOS.hs │ │ ├── IA32 │ │ │ ├── Reboot.hs │ │ │ ├── Screen.hs │ │ │ └── VbeGraphics.hs │ │ ├── Intel8255x │ │ │ ├── Driver.hs │ │ │ ├── Test.hs │ │ │ └── Util.hs │ │ ├── Keyboard.hs │ │ ├── Mouse.hs │ │ ├── NE2000 │ │ │ ├── Driver.hs │ │ │ ├── Monad.hs │ │ │ └── Test.hs │ │ └── PS2.hs │ ├── GrubModules.hs │ ├── HDatatypes.lhs │ ├── HInterface.lhs │ ├── Interrupts.hs │ ├── L4 │ │ ├── Instances.lhs │ │ ├── Req.hs │ │ ├── SubTyping.lhs │ │ ├── Syscall.lhs │ │ └── ThreadId.lhs │ ├── LineEditor.hs │ ├── MemRegion.hs │ ├── PCI │ │ ├── BaseAddr.hs │ │ ├── ConfigSpace.hs │ │ ├── DevInfo.hs │ │ ├── DevTree.hs │ │ ├── Device.hs │ │ ├── PCIBridge.hs │ │ ├── ParseVendors.hs │ │ └── Probe.hs │ ├── Timer.hs │ ├── Types │ │ └── Console.hs │ ├── UserProc.hs │ ├── UserProcModel.hs │ ├── UserSpace.hs │ ├── UserSpace_stub.c │ └── UserSpace_stub.h ├── Makefile ├── Monad │ ├── IO.lhs │ ├── MonadT.lhs │ ├── State.lhs │ └── Util.hs ├── Net │ ├── ARP.hs │ ├── ARP_Protocol.hs │ ├── ClientInterface.hs │ ├── Concurrent.hs │ ├── DHCP.hs │ ├── DHCP_Client.hs │ ├── Ethernet.hs │ ├── EthernetClient.hs │ ├── H.hs │ ├── ICMP.hs │ ├── IO.hs │ ├── IPv4.hs │ ├── IPv4Client.hs │ ├── IPv4Link.hs │ ├── IPv4OverEthernet.hs │ ├── IPv6.hs │ ├── Interface.hs │ ├── Packet.hs │ ├── PacketParsing.hs │ ├── PortNumber.hs │ ├── Servers.hs │ ├── Shell.hs │ ├── TCP.hs │ ├── TCP_Client.hs │ ├── TFTP.hs │ ├── TFTP_Client.hs │ ├── Test.hs │ ├── UDP.hs │ ├── UDP_Client.hs │ ├── Utils.hs │ └── Wire.hs ├── README.HOUSE ├── SimpleExec.hs ├── Util │ ├── CmdLineParser.hs │ ├── FixedFont.hs │ ├── Font.hs │ ├── FontDecode.hs │ ├── FontEncode.hs │ ├── Grammar.hs │ ├── PM.hs │ ├── Word12.hs │ └── Word24.hs ├── cbits │ ├── c_start.c │ ├── config.h │ ├── fault.c │ ├── fault.h │ ├── gfx.c │ ├── gfx.h │ ├── gprintf.c │ ├── ia32.h │ ├── io.c │ ├── io.h │ ├── mib.h │ ├── modules.c │ ├── modules.h │ ├── multiboot.h │ ├── segments.h │ ├── start.S │ ├── start.h │ ├── timer.h │ ├── userspace.c │ ├── userspace.h │ ├── util.c │ ├── util.h │ ├── vbe.h │ ├── video.c │ └── video.h ├── doc │ ├── Makefile │ ├── NE2000-driver.tex │ └── references.bib ├── ldhouse ├── top └── user │ ├── Makefile │ ├── README │ ├── alt.c │ ├── bar.c │ ├── better_control.c │ ├── clock.h │ ├── control.c │ ├── div.c │ ├── dlmalloc.c │ ├── doit │ ├── exchange.c │ ├── exchange.h │ ├── exit.c │ ├── foo.c │ ├── hello.c │ ├── ipc.c │ ├── ipc.h │ ├── kernelInt.c │ ├── kernelInt.h │ ├── l4TestInfo │ ├── libc.c │ ├── libc.h │ ├── loop.c │ ├── printf.c │ ├── regs.h │ ├── sample.c │ ├── schedule.c │ ├── script │ ├── space.c │ ├── switch.c │ ├── sysClock.c │ ├── t │ └── unmap.c ├── menu.extra ├── menu.lst ├── mkbe2gbf ├── net ├── EthernetOverTun.hs ├── Makefile ├── Tun.hs ├── opentun.c ├── opentun.h └── tst.hs ├── patches ├── halvm-patches.tar.gz ├── house │ ├── config.sub │ ├── configure.ac │ ├── driver.mangler.ghc-asm.lprl │ ├── includes.RtsFlags.h │ ├── libraries.Makefile │ ├── libraries.base.Control.Concurrent.hs │ ├── libraries.base.GHC.Conc.lhs │ ├── libraries.base.include.HsBase.h │ ├── libraries.stm.Control.Concurrent.STM.TVar.hs │ ├── mk.config.mk.in │ ├── rts.Exception.cmm │ ├── rts.Makefile │ ├── rts.Printer.c │ ├── rts.ProfHeap.c │ ├── rts.RtsFlags.c │ ├── rts.RtsSignals.h │ ├── rts.RtsStartup.c │ ├── rts.RtsUtils.c │ ├── rts.Sanity.c │ ├── rts.Schedule.c │ ├── rts.Stats.c │ ├── rts.Timer.c │ └── rts.sm.MBlock.c └── new │ └── rts │ └── house │ ├── OSMem.c │ ├── Select.c │ ├── Signals.c │ └── Signals.h ├── stage2 └── support ├── Makefile ├── c ├── Gen_wctype.hs ├── LICENSE ├── Makefile ├── bsearch.c ├── dlmalloc.c ├── fakeerrno.c ├── libc.c └── wctype.c ├── gcc ├── Makefile ├── _divdi3.oS ├── _moddi3.oS ├── _udivdi3.oS └── _umoddi3.oS ├── gmp ├── Makefile ├── assert.c └── memory.c └── m ├── Makefile ├── e_acos.c ├── e_asin.c ├── e_cosh.c ├── e_exp.c ├── e_log.c ├── e_pow.c ├── e_rem_pio2.c ├── e_sinh.c ├── e_sqrt.c ├── k_cos.c ├── k_rem_pio2.c ├── k_sin.c ├── k_tan.c ├── math_private.h ├── s_atan.c ├── s_copysign.c ├── s_cos.c ├── s_expm1.c ├── s_finite.c ├── s_ldexp.c ├── s_scalbn.c ├── s_sin.c ├── s_tan.c ├── s_tanh.c ├── w_acos.c ├── w_asin.c ├── w_cosh.c ├── w_exp.c ├── w_log.c ├── w_pow.c ├── w_sinh.c └── w_sqrt.c /Font/Courier24.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/Font/Courier24.hs -------------------------------------------------------------------------------- /Font/CourierBold24.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/Font/CourierBold24.hs -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/Makefile -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/README -------------------------------------------------------------------------------- /createFontFile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/createFontFile.hs -------------------------------------------------------------------------------- /floppy_dir/alt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/floppy_dir/alt -------------------------------------------------------------------------------- /floppy_dir/boot/grub/grub.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/floppy_dir/boot/grub/grub.conf -------------------------------------------------------------------------------- /floppy_dir/boot/grub/menu.lst: -------------------------------------------------------------------------------- 1 | grub.conf -------------------------------------------------------------------------------- /floppy_dir/boot/grub/stage2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/floppy_dir/boot/grub/stage2 -------------------------------------------------------------------------------- /floppy_dir/boot/kernel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/floppy_dir/boot/kernel -------------------------------------------------------------------------------- /floppy_dir/div: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/floppy_dir/div -------------------------------------------------------------------------------- /floppy_dir/fonts.hf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/floppy_dir/fonts.hf -------------------------------------------------------------------------------- /floppy_dir/foo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/floppy_dir/foo -------------------------------------------------------------------------------- /floppy_dir/hello: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/floppy_dir/hello -------------------------------------------------------------------------------- /floppy_dir/loop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/floppy_dir/loop -------------------------------------------------------------------------------- /floppy_dir/pci.ids.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/floppy_dir/pci.ids.gz -------------------------------------------------------------------------------- /floppy_dir/sample: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/floppy_dir/sample -------------------------------------------------------------------------------- /kernel/DomOS4.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/DomOS4.lhs -------------------------------------------------------------------------------- /kernel/Gadgets/Bristol.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Bristol.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Calc.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Demo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Demo.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Escher.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Escher.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Explode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Explode.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Graph.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Graph.lhs -------------------------------------------------------------------------------- /kernel/Gadgets/Images/BitStream.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Images/BitStream.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Images/DescribeGIF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Images/DescribeGIF.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Images/DrawGIF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Images/DrawGIF.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Images/DrawGIF.hs.new: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Images/DrawGIF.hs.new -------------------------------------------------------------------------------- /kernel/Gadgets/Images/GIF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Images/GIF.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Images/GIFdecompress.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Images/GIFdecompress.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Images/GIFops.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Images/GIFops.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Images/GIFparser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Images/GIFparser.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Images/ParsOps2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Images/ParsOps2.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Images/Utils2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Images/Utils2.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Keys.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Keys.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Multicount.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Multicount.hs -------------------------------------------------------------------------------- /kernel/Gadgets/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/README.txt -------------------------------------------------------------------------------- /kernel/Gadgets/TerminalTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/TerminalTest.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Tree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Tree.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Updown.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Updown.hs -------------------------------------------------------------------------------- /kernel/Gadgets/Updown2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/Updown2.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Area.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Area.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Badget.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Badget.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Bargraph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Bargraph.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Button.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Button.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Compgraph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Compgraph.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Components.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Components.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Container.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Container.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Display.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Display.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/EditorG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/EditorG.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/ExtBadget.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/ExtBadget.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/GUIPrelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/GUIPrelude.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Gadgets.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Gadgets.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/GadgetsPrelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/GadgetsPrelude.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Gio.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Gio.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Grid.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Grid.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/HOpBadget.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/HOpBadget.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Instruments.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Instruments.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Layout.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Layout.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Os.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Os.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Paper.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Paper.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Radiogroup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Radiogroup.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Sm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Sm.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Terminal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Terminal.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Test.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Useful.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Useful.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Wall.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Wall.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Window.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Window.hs -------------------------------------------------------------------------------- /kernel/Gadgets/lib/Wire.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/lib/Wire.hs -------------------------------------------------------------------------------- /kernel/Gadgets/tst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Gadgets/tst.hs -------------------------------------------------------------------------------- /kernel/GfxBenchmark.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/GfxBenchmark.hs -------------------------------------------------------------------------------- /kernel/H/AdHocMem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/AdHocMem.hs -------------------------------------------------------------------------------- /kernel/H/All.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/All.hs -------------------------------------------------------------------------------- /kernel/H/Concurrency.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/Concurrency.hs -------------------------------------------------------------------------------- /kernel/H/Grub.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/Grub.hs -------------------------------------------------------------------------------- /kernel/H/IOPorts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/IOPorts.hs -------------------------------------------------------------------------------- /kernel/H/Interrupts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/Interrupts.hs -------------------------------------------------------------------------------- /kernel/H/MemRegion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/MemRegion.hs -------------------------------------------------------------------------------- /kernel/H/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/Monad.hs -------------------------------------------------------------------------------- /kernel/H/Mutable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/Mutable.hs -------------------------------------------------------------------------------- /kernel/H/Pages.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/Pages.hs -------------------------------------------------------------------------------- /kernel/H/PhysicalMemory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/PhysicalMemory.hs -------------------------------------------------------------------------------- /kernel/H/Unsafe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/Unsafe.hs -------------------------------------------------------------------------------- /kernel/H/UserMode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/UserMode.hs -------------------------------------------------------------------------------- /kernel/H/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/Utils.hs -------------------------------------------------------------------------------- /kernel/H/VirtualMemory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/VirtualMemory.hs -------------------------------------------------------------------------------- /kernel/H/h/H.AdHocMem.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.AdHocMem.html -------------------------------------------------------------------------------- /kernel/H/h/H.All.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.All.html -------------------------------------------------------------------------------- /kernel/H/h/H.Concurrency.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.Concurrency.html -------------------------------------------------------------------------------- /kernel/H/h/H.Grub.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.Grub.html -------------------------------------------------------------------------------- /kernel/H/h/H.IOPorts.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.IOPorts.html -------------------------------------------------------------------------------- /kernel/H/h/H.Interrupts.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.Interrupts.html -------------------------------------------------------------------------------- /kernel/H/h/H.MemRegion.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.MemRegion.html -------------------------------------------------------------------------------- /kernel/H/h/H.Monad.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.Monad.html -------------------------------------------------------------------------------- /kernel/H/h/H.Mutable.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.Mutable.html -------------------------------------------------------------------------------- /kernel/H/h/H.PhysicalMemory.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.PhysicalMemory.html -------------------------------------------------------------------------------- /kernel/H/h/H.Unsafe.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.Unsafe.html -------------------------------------------------------------------------------- /kernel/H/h/H.UserMode.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.UserMode.html -------------------------------------------------------------------------------- /kernel/H/h/H.Utils.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.Utils.html -------------------------------------------------------------------------------- /kernel/H/h/H.VirtualMemory.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/H.VirtualMemory.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-A.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-A.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-B.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-B.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-C.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-C.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-D.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-D.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-E.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-E.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-F.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-F.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-G.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-G.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-H.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-H.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-I.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-I.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-L.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-L.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-M.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-M.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-N.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-N.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-O.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-O.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-P.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-P.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-Q.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-Q.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-R.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-R.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-S.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-S.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-T.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-T.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-U.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-U.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-V.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-V.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-W.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-W.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index-Y.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index-Y.html -------------------------------------------------------------------------------- /kernel/H/h/doc-index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/doc-index.html -------------------------------------------------------------------------------- /kernel/H/h/haddock.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/haddock.css -------------------------------------------------------------------------------- /kernel/H/h/haskell_icon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/haskell_icon.gif -------------------------------------------------------------------------------- /kernel/H/h/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/H/h/index.html -------------------------------------------------------------------------------- /kernel/House.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/House.hs -------------------------------------------------------------------------------- /kernel/Hovel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Hovel.hs -------------------------------------------------------------------------------- /kernel/HovelM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/HovelM.hs -------------------------------------------------------------------------------- /kernel/Kernel/AOut.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/AOut.hs -------------------------------------------------------------------------------- /kernel/Kernel/AOutModel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/AOutModel.hs -------------------------------------------------------------------------------- /kernel/Kernel/Bits.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Bits.hs -------------------------------------------------------------------------------- /kernel/Kernel/Console.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Console.hs -------------------------------------------------------------------------------- /kernel/Kernel/Debug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Debug.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/CMOS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/CMOS.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/IA32/Reboot.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/IA32/Reboot.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/IA32/Screen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/IA32/Screen.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/IA32/VbeGraphics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/IA32/VbeGraphics.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/Intel8255x/Driver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/Intel8255x/Driver.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/Intel8255x/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/Intel8255x/Test.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/Intel8255x/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/Intel8255x/Util.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/Keyboard.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/Keyboard.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/Mouse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/Mouse.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/NE2000/Driver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/NE2000/Driver.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/NE2000/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/NE2000/Monad.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/NE2000/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/NE2000/Test.hs -------------------------------------------------------------------------------- /kernel/Kernel/Driver/PS2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Driver/PS2.hs -------------------------------------------------------------------------------- /kernel/Kernel/GrubModules.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/GrubModules.hs -------------------------------------------------------------------------------- /kernel/Kernel/HDatatypes.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/HDatatypes.lhs -------------------------------------------------------------------------------- /kernel/Kernel/HInterface.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/HInterface.lhs -------------------------------------------------------------------------------- /kernel/Kernel/Interrupts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Interrupts.hs -------------------------------------------------------------------------------- /kernel/Kernel/L4/Instances.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/L4/Instances.lhs -------------------------------------------------------------------------------- /kernel/Kernel/L4/Req.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/L4/Req.hs -------------------------------------------------------------------------------- /kernel/Kernel/L4/SubTyping.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/L4/SubTyping.lhs -------------------------------------------------------------------------------- /kernel/Kernel/L4/Syscall.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/L4/Syscall.lhs -------------------------------------------------------------------------------- /kernel/Kernel/L4/ThreadId.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/L4/ThreadId.lhs -------------------------------------------------------------------------------- /kernel/Kernel/LineEditor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/LineEditor.hs -------------------------------------------------------------------------------- /kernel/Kernel/MemRegion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/MemRegion.hs -------------------------------------------------------------------------------- /kernel/Kernel/PCI/BaseAddr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/PCI/BaseAddr.hs -------------------------------------------------------------------------------- /kernel/Kernel/PCI/ConfigSpace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/PCI/ConfigSpace.hs -------------------------------------------------------------------------------- /kernel/Kernel/PCI/DevInfo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/PCI/DevInfo.hs -------------------------------------------------------------------------------- /kernel/Kernel/PCI/DevTree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/PCI/DevTree.hs -------------------------------------------------------------------------------- /kernel/Kernel/PCI/Device.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/PCI/Device.hs -------------------------------------------------------------------------------- /kernel/Kernel/PCI/PCIBridge.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/PCI/PCIBridge.hs -------------------------------------------------------------------------------- /kernel/Kernel/PCI/ParseVendors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/PCI/ParseVendors.hs -------------------------------------------------------------------------------- /kernel/Kernel/PCI/Probe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/PCI/Probe.hs -------------------------------------------------------------------------------- /kernel/Kernel/Timer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Timer.hs -------------------------------------------------------------------------------- /kernel/Kernel/Types/Console.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/Types/Console.hs -------------------------------------------------------------------------------- /kernel/Kernel/UserProc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/UserProc.hs -------------------------------------------------------------------------------- /kernel/Kernel/UserProcModel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/UserProcModel.hs -------------------------------------------------------------------------------- /kernel/Kernel/UserSpace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/UserSpace.hs -------------------------------------------------------------------------------- /kernel/Kernel/UserSpace_stub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/UserSpace_stub.c -------------------------------------------------------------------------------- /kernel/Kernel/UserSpace_stub.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Kernel/UserSpace_stub.h -------------------------------------------------------------------------------- /kernel/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Makefile -------------------------------------------------------------------------------- /kernel/Monad/IO.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Monad/IO.lhs -------------------------------------------------------------------------------- /kernel/Monad/MonadT.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Monad/MonadT.lhs -------------------------------------------------------------------------------- /kernel/Monad/State.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Monad/State.lhs -------------------------------------------------------------------------------- /kernel/Monad/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Monad/Util.hs -------------------------------------------------------------------------------- /kernel/Net/ARP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/ARP.hs -------------------------------------------------------------------------------- /kernel/Net/ARP_Protocol.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/ARP_Protocol.hs -------------------------------------------------------------------------------- /kernel/Net/ClientInterface.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/ClientInterface.hs -------------------------------------------------------------------------------- /kernel/Net/Concurrent.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/Concurrent.hs -------------------------------------------------------------------------------- /kernel/Net/DHCP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/DHCP.hs -------------------------------------------------------------------------------- /kernel/Net/DHCP_Client.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/DHCP_Client.hs -------------------------------------------------------------------------------- /kernel/Net/Ethernet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/Ethernet.hs -------------------------------------------------------------------------------- /kernel/Net/EthernetClient.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/EthernetClient.hs -------------------------------------------------------------------------------- /kernel/Net/H.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/H.hs -------------------------------------------------------------------------------- /kernel/Net/ICMP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/ICMP.hs -------------------------------------------------------------------------------- /kernel/Net/IO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/IO.hs -------------------------------------------------------------------------------- /kernel/Net/IPv4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/IPv4.hs -------------------------------------------------------------------------------- /kernel/Net/IPv4Client.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/IPv4Client.hs -------------------------------------------------------------------------------- /kernel/Net/IPv4Link.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/IPv4Link.hs -------------------------------------------------------------------------------- /kernel/Net/IPv4OverEthernet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/IPv4OverEthernet.hs -------------------------------------------------------------------------------- /kernel/Net/IPv6.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/IPv6.hs -------------------------------------------------------------------------------- /kernel/Net/Interface.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/Interface.hs -------------------------------------------------------------------------------- /kernel/Net/Packet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/Packet.hs -------------------------------------------------------------------------------- /kernel/Net/PacketParsing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/PacketParsing.hs -------------------------------------------------------------------------------- /kernel/Net/PortNumber.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/PortNumber.hs -------------------------------------------------------------------------------- /kernel/Net/Servers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/Servers.hs -------------------------------------------------------------------------------- /kernel/Net/Shell.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/Shell.hs -------------------------------------------------------------------------------- /kernel/Net/TCP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/TCP.hs -------------------------------------------------------------------------------- /kernel/Net/TCP_Client.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/TCP_Client.hs -------------------------------------------------------------------------------- /kernel/Net/TFTP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/TFTP.hs -------------------------------------------------------------------------------- /kernel/Net/TFTP_Client.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/TFTP_Client.hs -------------------------------------------------------------------------------- /kernel/Net/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/Test.hs -------------------------------------------------------------------------------- /kernel/Net/UDP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/UDP.hs -------------------------------------------------------------------------------- /kernel/Net/UDP_Client.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/UDP_Client.hs -------------------------------------------------------------------------------- /kernel/Net/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/Utils.hs -------------------------------------------------------------------------------- /kernel/Net/Wire.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Net/Wire.hs -------------------------------------------------------------------------------- /kernel/README.HOUSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/README.HOUSE -------------------------------------------------------------------------------- /kernel/SimpleExec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/SimpleExec.hs -------------------------------------------------------------------------------- /kernel/Util/CmdLineParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Util/CmdLineParser.hs -------------------------------------------------------------------------------- /kernel/Util/FixedFont.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Util/FixedFont.hs -------------------------------------------------------------------------------- /kernel/Util/Font.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Util/Font.hs -------------------------------------------------------------------------------- /kernel/Util/FontDecode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Util/FontDecode.hs -------------------------------------------------------------------------------- /kernel/Util/FontEncode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Util/FontEncode.hs -------------------------------------------------------------------------------- /kernel/Util/Grammar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Util/Grammar.hs -------------------------------------------------------------------------------- /kernel/Util/PM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Util/PM.hs -------------------------------------------------------------------------------- /kernel/Util/Word12.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Util/Word12.hs -------------------------------------------------------------------------------- /kernel/Util/Word24.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/Util/Word24.hs -------------------------------------------------------------------------------- /kernel/cbits/c_start.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/c_start.c -------------------------------------------------------------------------------- /kernel/cbits/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/config.h -------------------------------------------------------------------------------- /kernel/cbits/fault.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/fault.c -------------------------------------------------------------------------------- /kernel/cbits/fault.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/fault.h -------------------------------------------------------------------------------- /kernel/cbits/gfx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/gfx.c -------------------------------------------------------------------------------- /kernel/cbits/gfx.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/gfx.h -------------------------------------------------------------------------------- /kernel/cbits/gprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/gprintf.c -------------------------------------------------------------------------------- /kernel/cbits/ia32.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/ia32.h -------------------------------------------------------------------------------- /kernel/cbits/io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/io.c -------------------------------------------------------------------------------- /kernel/cbits/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/io.h -------------------------------------------------------------------------------- /kernel/cbits/mib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/mib.h -------------------------------------------------------------------------------- /kernel/cbits/modules.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/modules.c -------------------------------------------------------------------------------- /kernel/cbits/modules.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/modules.h -------------------------------------------------------------------------------- /kernel/cbits/multiboot.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/multiboot.h -------------------------------------------------------------------------------- /kernel/cbits/segments.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/segments.h -------------------------------------------------------------------------------- /kernel/cbits/start.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/start.S -------------------------------------------------------------------------------- /kernel/cbits/start.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/start.h -------------------------------------------------------------------------------- /kernel/cbits/timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/timer.h -------------------------------------------------------------------------------- /kernel/cbits/userspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/userspace.c -------------------------------------------------------------------------------- /kernel/cbits/userspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/userspace.h -------------------------------------------------------------------------------- /kernel/cbits/util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/util.c -------------------------------------------------------------------------------- /kernel/cbits/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/util.h -------------------------------------------------------------------------------- /kernel/cbits/vbe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/vbe.h -------------------------------------------------------------------------------- /kernel/cbits/video.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/video.c -------------------------------------------------------------------------------- /kernel/cbits/video.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/cbits/video.h -------------------------------------------------------------------------------- /kernel/doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/doc/Makefile -------------------------------------------------------------------------------- /kernel/doc/NE2000-driver.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/doc/NE2000-driver.tex -------------------------------------------------------------------------------- /kernel/doc/references.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/doc/references.bib -------------------------------------------------------------------------------- /kernel/ldhouse: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/ldhouse -------------------------------------------------------------------------------- /kernel/top: -------------------------------------------------------------------------------- 1 | .. -------------------------------------------------------------------------------- /kernel/user/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/Makefile -------------------------------------------------------------------------------- /kernel/user/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/README -------------------------------------------------------------------------------- /kernel/user/alt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/alt.c -------------------------------------------------------------------------------- /kernel/user/bar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/bar.c -------------------------------------------------------------------------------- /kernel/user/better_control.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/better_control.c -------------------------------------------------------------------------------- /kernel/user/clock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/clock.h -------------------------------------------------------------------------------- /kernel/user/control.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/control.c -------------------------------------------------------------------------------- /kernel/user/div.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/div.c -------------------------------------------------------------------------------- /kernel/user/dlmalloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/dlmalloc.c -------------------------------------------------------------------------------- /kernel/user/doit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/doit -------------------------------------------------------------------------------- /kernel/user/exchange.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/exchange.c -------------------------------------------------------------------------------- /kernel/user/exchange.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/exchange.h -------------------------------------------------------------------------------- /kernel/user/exit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/exit.c -------------------------------------------------------------------------------- /kernel/user/foo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/foo.c -------------------------------------------------------------------------------- /kernel/user/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/hello.c -------------------------------------------------------------------------------- /kernel/user/ipc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/ipc.c -------------------------------------------------------------------------------- /kernel/user/ipc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/ipc.h -------------------------------------------------------------------------------- /kernel/user/kernelInt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/kernelInt.c -------------------------------------------------------------------------------- /kernel/user/kernelInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/kernelInt.h -------------------------------------------------------------------------------- /kernel/user/l4TestInfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/l4TestInfo -------------------------------------------------------------------------------- /kernel/user/libc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/libc.c -------------------------------------------------------------------------------- /kernel/user/libc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/libc.h -------------------------------------------------------------------------------- /kernel/user/loop.c: -------------------------------------------------------------------------------- 1 | main () { 2 | for (;;); 3 | } 4 | -------------------------------------------------------------------------------- /kernel/user/printf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/printf.c -------------------------------------------------------------------------------- /kernel/user/regs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/regs.h -------------------------------------------------------------------------------- /kernel/user/sample.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/sample.c -------------------------------------------------------------------------------- /kernel/user/schedule.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/schedule.c -------------------------------------------------------------------------------- /kernel/user/script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/script -------------------------------------------------------------------------------- /kernel/user/space.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/space.c -------------------------------------------------------------------------------- /kernel/user/switch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/switch.c -------------------------------------------------------------------------------- /kernel/user/sysClock.c: -------------------------------------------------------------------------------- 1 | void SystemClock() { 2 | __asm__ ("int $0x82"); 3 | } 4 | 5 | -------------------------------------------------------------------------------- /kernel/user/t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/t -------------------------------------------------------------------------------- /kernel/user/unmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/kernel/user/unmap.c -------------------------------------------------------------------------------- /menu.extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/menu.extra -------------------------------------------------------------------------------- /menu.lst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/menu.lst -------------------------------------------------------------------------------- /mkbe2gbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/mkbe2gbf -------------------------------------------------------------------------------- /net/EthernetOverTun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/net/EthernetOverTun.hs -------------------------------------------------------------------------------- /net/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/net/Makefile -------------------------------------------------------------------------------- /net/Tun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/net/Tun.hs -------------------------------------------------------------------------------- /net/opentun.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/net/opentun.c -------------------------------------------------------------------------------- /net/opentun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/net/opentun.h -------------------------------------------------------------------------------- /net/tst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/net/tst.hs -------------------------------------------------------------------------------- /patches/halvm-patches.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/halvm-patches.tar.gz -------------------------------------------------------------------------------- /patches/house/config.sub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/config.sub -------------------------------------------------------------------------------- /patches/house/configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/configure.ac -------------------------------------------------------------------------------- /patches/house/driver.mangler.ghc-asm.lprl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/driver.mangler.ghc-asm.lprl -------------------------------------------------------------------------------- /patches/house/includes.RtsFlags.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/includes.RtsFlags.h -------------------------------------------------------------------------------- /patches/house/libraries.Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/libraries.Makefile -------------------------------------------------------------------------------- /patches/house/libraries.base.Control.Concurrent.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/libraries.base.Control.Concurrent.hs -------------------------------------------------------------------------------- /patches/house/libraries.base.GHC.Conc.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/libraries.base.GHC.Conc.lhs -------------------------------------------------------------------------------- /patches/house/libraries.base.include.HsBase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/libraries.base.include.HsBase.h -------------------------------------------------------------------------------- /patches/house/libraries.stm.Control.Concurrent.STM.TVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/libraries.stm.Control.Concurrent.STM.TVar.hs -------------------------------------------------------------------------------- /patches/house/mk.config.mk.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/mk.config.mk.in -------------------------------------------------------------------------------- /patches/house/rts.Exception.cmm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.Exception.cmm -------------------------------------------------------------------------------- /patches/house/rts.Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.Makefile -------------------------------------------------------------------------------- /patches/house/rts.Printer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.Printer.c -------------------------------------------------------------------------------- /patches/house/rts.ProfHeap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.ProfHeap.c -------------------------------------------------------------------------------- /patches/house/rts.RtsFlags.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.RtsFlags.c -------------------------------------------------------------------------------- /patches/house/rts.RtsSignals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.RtsSignals.h -------------------------------------------------------------------------------- /patches/house/rts.RtsStartup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.RtsStartup.c -------------------------------------------------------------------------------- /patches/house/rts.RtsUtils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.RtsUtils.c -------------------------------------------------------------------------------- /patches/house/rts.Sanity.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.Sanity.c -------------------------------------------------------------------------------- /patches/house/rts.Schedule.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.Schedule.c -------------------------------------------------------------------------------- /patches/house/rts.Stats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.Stats.c -------------------------------------------------------------------------------- /patches/house/rts.Timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.Timer.c -------------------------------------------------------------------------------- /patches/house/rts.sm.MBlock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/house/rts.sm.MBlock.c -------------------------------------------------------------------------------- /patches/new/rts/house/OSMem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/new/rts/house/OSMem.c -------------------------------------------------------------------------------- /patches/new/rts/house/Select.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/new/rts/house/Select.c -------------------------------------------------------------------------------- /patches/new/rts/house/Signals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/new/rts/house/Signals.c -------------------------------------------------------------------------------- /patches/new/rts/house/Signals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/patches/new/rts/house/Signals.h -------------------------------------------------------------------------------- /stage2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/stage2 -------------------------------------------------------------------------------- /support/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/Makefile -------------------------------------------------------------------------------- /support/c/Gen_wctype.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/c/Gen_wctype.hs -------------------------------------------------------------------------------- /support/c/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/c/LICENSE -------------------------------------------------------------------------------- /support/c/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/c/Makefile -------------------------------------------------------------------------------- /support/c/bsearch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/c/bsearch.c -------------------------------------------------------------------------------- /support/c/dlmalloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/c/dlmalloc.c -------------------------------------------------------------------------------- /support/c/fakeerrno.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/c/fakeerrno.c -------------------------------------------------------------------------------- /support/c/libc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/c/libc.c -------------------------------------------------------------------------------- /support/c/wctype.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/c/wctype.c -------------------------------------------------------------------------------- /support/gcc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/gcc/Makefile -------------------------------------------------------------------------------- /support/gcc/_divdi3.oS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/gcc/_divdi3.oS -------------------------------------------------------------------------------- /support/gcc/_moddi3.oS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/gcc/_moddi3.oS -------------------------------------------------------------------------------- /support/gcc/_udivdi3.oS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/gcc/_udivdi3.oS -------------------------------------------------------------------------------- /support/gcc/_umoddi3.oS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/gcc/_umoddi3.oS -------------------------------------------------------------------------------- /support/gmp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/gmp/Makefile -------------------------------------------------------------------------------- /support/gmp/assert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/gmp/assert.c -------------------------------------------------------------------------------- /support/gmp/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/gmp/memory.c -------------------------------------------------------------------------------- /support/m/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/Makefile -------------------------------------------------------------------------------- /support/m/e_acos.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/e_acos.c -------------------------------------------------------------------------------- /support/m/e_asin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/e_asin.c -------------------------------------------------------------------------------- /support/m/e_cosh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/e_cosh.c -------------------------------------------------------------------------------- /support/m/e_exp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/e_exp.c -------------------------------------------------------------------------------- /support/m/e_log.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/e_log.c -------------------------------------------------------------------------------- /support/m/e_pow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/e_pow.c -------------------------------------------------------------------------------- /support/m/e_rem_pio2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/e_rem_pio2.c -------------------------------------------------------------------------------- /support/m/e_sinh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/e_sinh.c -------------------------------------------------------------------------------- /support/m/e_sqrt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/e_sqrt.c -------------------------------------------------------------------------------- /support/m/k_cos.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/k_cos.c -------------------------------------------------------------------------------- /support/m/k_rem_pio2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/k_rem_pio2.c -------------------------------------------------------------------------------- /support/m/k_sin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/k_sin.c -------------------------------------------------------------------------------- /support/m/k_tan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/k_tan.c -------------------------------------------------------------------------------- /support/m/math_private.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/math_private.h -------------------------------------------------------------------------------- /support/m/s_atan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/s_atan.c -------------------------------------------------------------------------------- /support/m/s_copysign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/s_copysign.c -------------------------------------------------------------------------------- /support/m/s_cos.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/s_cos.c -------------------------------------------------------------------------------- /support/m/s_expm1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/s_expm1.c -------------------------------------------------------------------------------- /support/m/s_finite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/s_finite.c -------------------------------------------------------------------------------- /support/m/s_ldexp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/s_ldexp.c -------------------------------------------------------------------------------- /support/m/s_scalbn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/s_scalbn.c -------------------------------------------------------------------------------- /support/m/s_sin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/s_sin.c -------------------------------------------------------------------------------- /support/m/s_tan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/s_tan.c -------------------------------------------------------------------------------- /support/m/s_tanh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/s_tanh.c -------------------------------------------------------------------------------- /support/m/w_acos.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/w_acos.c -------------------------------------------------------------------------------- /support/m/w_asin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/w_asin.c -------------------------------------------------------------------------------- /support/m/w_cosh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/w_cosh.c -------------------------------------------------------------------------------- /support/m/w_exp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/w_exp.c -------------------------------------------------------------------------------- /support/m/w_log.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/w_log.c -------------------------------------------------------------------------------- /support/m/w_pow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/w_pow.c -------------------------------------------------------------------------------- /support/m/w_sinh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/w_sinh.c -------------------------------------------------------------------------------- /support/m/w_sqrt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dls/house/HEAD/support/m/w_sqrt.c --------------------------------------------------------------------------------