100644 blob 98b4fbbafe37538f9de9cdf3a5a8b91afaf7e961	Makefile.inc
040000 tree 8048d6146b8542e807053a87d75546427c74748a	direct
100644 blob a45c849e206b1a3577c1ccb40cc68139c14587b2	hw-config.ads.template
100644 blob bc2242c54710160a2e6e913beec0d49eb03abf07	hw-file.ads
100644 blob 8495f73b62cc78ad14e7989c0dd854ca030371ea	hw-mmio_range.ads
100644 blob acd23ec700c4f53230c530c55bed1363dc5364e0	hw-mmio_regs.adb
100644 blob 774b2b83ed24622fb67b82a0c0150f6143053c88	hw-mmio_regs.ads
100644 blob 130515cb7ce77c3fd240591de07564ddc5de5364	hw-pci-dev.ads
100644 blob f7da219fa89203b8cb45aaa61fdfbd4e452d2fed	hw-pci-mmconf.adb
100644 blob 7a3777d8dad308a44c94ebbfcbc4a1332c7fa0a8	hw-pci-mmconf.ads
100644 blob da4f42f008f4edaee7cf9c66a3ec9e3d14edbea4	hw-pci.ads
100644 blob 0ae03f19f4d0ef726727b5049eab9375982055e5	hw-port_io.adb
100644 blob 94b51971ea2768f4dfff41df2302a05d4b4db3cf	hw-port_io.ads
100644 blob 5ddf3ba6fae915c4b971957ddac523ec932833e1	hw-sub_regs.ads
100644 blob 2bec99b85822e6d008e9c805fee2d5774909c4a0	hw-time-timer.ads
100644 blob b2fa5641619d1c304b96f2cc17995dce54190ec2	hw-time.adb
100644 blob 5cfa963d5daea7ed2a18b00e087de56d6a2488b0	hw-time.ads
100644 blob 56debabc23fe84bf62e0a52e032e76a9c0162cab	hw.ads
040000 tree 29a6d9436442a0f9172fa043d5bed74331f1b6e5	linux
040000 tree 9a37fac3cf0459dde8e26fad9185f0c02778e607	mutime